Found: 172
Select item for more details and to access through your institution.
Multi-Agent Temporal Logics, Information, Unification, and Projectivity.
- Published in:
- Algebra & Logic, 2023, v. 62, n. 3, p. 283, doi. 10.1007/s10469-024-09743-4
- By:
- Publication type:
- Article
Against classical paraconsistent metatheory.
- Published in:
- Analysis, 2023, v. 83, n. 2, p. 285, doi. 10.1093/analys/anac093
- By:
- Publication type:
- Article
ARISTOTLE AND BOETHIUS: TWO THESES AND THEIR POSSIBILITIES.
- Published in:
- Praxis Filosófica, 2021, n. 53, p. 69, doi. 10.25100/pfilosofica.v0i53.11478
- By:
- Publication type:
- Article
SOLVING TEXTUAL ENTAILMENT WITH THE THEOREM PROVER FOR NATURAL LANGUAGE.
- Published in:
- Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 114
- By:
- Publication type:
- Article
Analytical approximations of one-dimensional hyperbolic equation with non-local integral conditions by reduced differential transform method.
- Published in:
- Computational Methods for Differential Equations, 2020, v. 8, n. 3, p. 537, doi. 10.22034/cmde.2020.29576.1424
- By:
- Publication type:
- Article
TWO INFINITE SEQUENCES OF PRE-MAXIMAL EXTENSIONS OF THE RELEVANT LOGIC E.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 1, p. 29, doi. 10.18778/0138-0680.48.1.03
- By:
- Publication type:
- Article
Rosy with Sider? The Case of the Metaphysical Liar.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 5, p. 787, doi. 10.1007/s10992-017-9449-7
- By:
- Publication type:
- Article
Quantum Filtering Equations for a System Driven by Nonclassical Fields.
- Published in:
- Open Systems & Information Dynamics (OSID), 2018, v. 25, n. 2, p. N.PAG, doi. 10.1142/S1230161218500075
- By:
- Publication type:
- Article
Dynamic consistency of expected utility under non-classical (quantum) uncertainty.
- Published in:
- Theory & Decision, 2018, v. 84, n. 4, p. 645, doi. 10.1007/s11238-018-9659-7
- By:
- Publication type:
- Article
On the Costs of Nonclassical Logic.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 227, doi. 10.1007/s10992-017-9424-3
- By:
- Publication type:
- Article
Preface: Non-classical models of automata and applications VIII.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2018, v. 52, n. 2-4, p. 87, doi. 10.1051/ita/2018019
- By:
- Publication type:
- Article
Boundary Value Problems for Nonclassical Systems of Second Order Differential Equations.
- Published in:
- Journal of Mathematical Sciences, 2018, v. 228, n. 4, p. 421, doi. 10.1007/s10958-017-3632-9
- By:
- Publication type:
- Article
KRULL DIMENSION IN MODAL LOGIC.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1356, doi. 10.1017/jsl.2017.14
- By:
- Publication type:
- Article
EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1387, doi. 10.1017/jsl.2017.21
- By:
- Publication type:
- Article
ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1482, doi. 10.1017/jsl.2017.28
- By:
- Publication type:
- Article
THE HALPERN–LÄUCHLI THEOREM AT A MEASURABLE CARDINAL.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1560, doi. 10.1017/jsl.2017.31
- By:
- Publication type:
- Article
UNDECIDABILITY OF EQUALITY IN THE FREE LOCALLY CARTESIAN CLOSED CATEGORY (EXTENDED VERSION).
- Published in:
- Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:22)2017
- By:
- Publication type:
- Article
Characterizing logical consequence in many-valued logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2193, doi. 10.1093/logcom/exx001
- By:
- Publication type:
- Article
Enhanced coalgebraic bisimulation.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1236, doi. 10.1017/S0960129515000523
- By:
- Publication type:
- Article
Undecidability of the transitive graded modal logic with converse.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1399, doi. 10.1093/logcom/exw026
- By:
- Publication type:
- Article
Nonclassical boundary value problems for some systems of partial differential equations.
- Published in:
- Differential Equations, 2017, v. 53, n. 6, p. 784, doi. 10.1134/S001226611706009X
- By:
- Publication type:
- Article
Boundary-value problems for some higher-order nonclassical differential equations.
- Published in:
- Mathematical Notes, 2017, v. 101, n. 3/4, p. 467, doi. 10.1134/S0001434617030087
- By:
- Publication type:
- Article
Nonclassical Probability and Convex Hulls.
- Published in:
- Erkenntnis, 2017, v. 82, n. 1, p. 87, doi. 10.1007/s10670-016-9807-9
- By:
- Publication type:
- Article
The computation of radial integrals with nonclassical quadratures for quantum chemistry and other applications.
- Published in:
- Journal of Mathematical Chemistry, 2017, v. 55, n. 2, p. 413, doi. 10.1007/s10910-016-0689-5
- By:
- Publication type:
- Article
Nonclassicality versus entanglement in a noncommutative space.
- Published in:
- International Journal of Modern Physics B: Condensed Matter Physics; Statistical Physics; Applied Physics, 2017, v. 31, n. 1, p. -1, doi. 10.1142/S0217979216502489
- By:
- Publication type:
- Article
NONCLASSICAL SPECTRAL ASYMPTOTICS AND DIXMIER TRACES: FROM CIRCLES TO CONTACT MANIFOLDS.
- Published in:
- Forum of Mathematics, Sigma, 2017, v. 5, p. 1, doi. 10.1017/fms.2016.33
- By:
- Publication type:
- Article
The grammaticalization of epistemicity in Ibero-Romance: Alike processes, unlike outcomes.
- Published in:
- Journal of Historical Linguistics, 2017, v. 7, n. 1/2, p. 48, doi. 10.1075/jhl.7.1-2.03cor
- By:
- Publication type:
- Article
Reduction Operators and Exact Solutions of Variable Coefficient Nonlinear Wave Equations with Power Nonlinearities.
- Published in:
- Symmetry (20738994), 2017, v. 9, n. 1, p. 3, doi. 10.3390/sym9010003
- By:
- Publication type:
- Article
Multi-type display calculus for dynamic epistemic logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 6, p. 2017, doi. 10.1093/logcom/exu068
- By:
- Publication type:
- Article
Cluster expansion and the boxdot conjecture.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 608, doi. 10.1002/malq.201600036
- By:
- Publication type:
- Article
REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 4, p. 752, doi. 10.1017/S1755020316000095
- By:
- Publication type:
- Article
Complex entropy and resultant information measures.
- Published in:
- Journal of Mathematical Chemistry, 2016, v. 54, n. 9, p. 1777, doi. 10.1007/s10910-016-0651-6
- By:
- Publication type:
- Article
NONCLASSICAL QUATERNIONS AND PENTANIONS IN PROBLEMS OF INERTIAL ORIENTATION.
- Published in:
- Electronics & Control Systems, 2016, v. 49, n. 3, p. 48
- By:
- Publication type:
- Article
Nonclassical correlations in a two-mode optomechanical system.
- Published in:
- International Journal of Modern Physics B: Condensed Matter Physics; Statistical Physics; Applied Physics, 2016, v. 30, n. 20, p. -1, doi. 10.1142/S0217979216501344
- By:
- Publication type:
- Article
Gellerstedt problem with nonclassical matching conditions for the solution gradient on the type change line with data on internal characteristics.
- Published in:
- Differential Equations, 2016, v. 52, n. 8, p. 1023, doi. 10.1134/S0012266116080073
- By:
- Publication type:
- Article
A generalization of Hardy-Rogers theorem in generalized b-metric spaces.
- Published in:
- Nonlinear Studies, 2016, v. 23, n. 3, p. 379
- By:
- Publication type:
- Article
EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 2, p. 325, doi. 10.1017/S175502031600006X
- By:
- Publication type:
- Article
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 2, p. 115, doi. 10.1093/jigpal/jzv054
- By:
- Publication type:
- Article
Gellerstedt problem with a generalized Frankl matching condition on the type change line with data on external characteristics.
- Published in:
- Differential Equations, 2016, v. 52, n. 2, p. 240, doi. 10.1134/S0012266116020099
- By:
- Publication type:
- Article
Nonclassical Periodic Functions: Their Calculation and Applications.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 212, n. 2, p. 193, doi. 10.1007/s10958-015-2659-z
- By:
- Publication type:
- Article
Realism about What? Unobservable Entities and the Metaphysics of Modality.
- Published in:
- Filosofia UNISINOS, 2016, v. 17, n. 1, p. 69, doi. 10.4013/fsu.2016.171.09
- By:
- Publication type:
- Article
Well-Posedness and Asymptotic Behavior of a Nonclassical Nonautonomous Diffusion Equation with Delay.
- Published in:
- International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2015, v. 25, n. 14, p. -1, doi. 10.1142/S0218127415400210
- By:
- Publication type:
- Article
The Essence of Nonclassicality: Non-Vanishing Signal Deficit.
- Published in:
- International Journal of Theoretical Physics, 2015, v. 54, n. 12, p. 4591, doi. 10.1007/s10773-015-2735-7
- By:
- Publication type:
- Article
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 713, doi. 10.1007/s10992-013-9310-6
- By:
- Publication type:
- Article
On the use (and abuse) of Logic in Game Theory.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 741, doi. 10.1007/s10992-015-9356-8
- By:
- Publication type:
- Article
An Update on Epistemic Modals.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 835, doi. 10.1007/s10992-015-9364-8
- By:
- Publication type:
- Article
Combinations of Stit with Ought and Know.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 851, doi. 10.1007/s10992-015-9365-7
- By:
- Publication type:
- Article
On exact solutions of a nonclassical partial differential equation.
- Published in:
- Computational Mathematics & Mathematical Physics, 2015, v. 55, n. 11, p. 1836, doi. 10.1134/S0965542515110044
- By:
- Publication type:
- Article
ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:7)2015
- By:
- Publication type:
- Article
On one nonclassical problem for a multidimensional parabolic equation.
- Published in:
- Journal of Concrete & Applicable Mathematics, 2015, v. 13, n. 3/4, p. 266
- By:
- Publication type:
- Article