Works matching DE "NONCLASSICAL mathematical logic"

Results: 178

Transversely isotropic material: nonlinear Cosserat versus classical approach.

Published in:

Continuum Mechanics & Thermodynamics, 2011, v. 23, n. 1, p. 27, doi. 10.1007/s00161-010-0150-0

By:

Münch, I.;
Neff, P.;
Wagner, W.

Publication type:

Article

Legal Normativism, Argumentation and Logic.

Published in:

Argumentation, 2025, v. 39, n. 1, p. 45, doi. 10.1007/s10503-024-09649-6

By:

Schumann, Andrew;
Lisanyuk, Elena

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:

Hewitt, Simon

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:

Halbach, Volker;
Nicolai, Carlo

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:

Kürbis, Nils

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:

Pacuit, Eric

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:

Willer, Malte

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:

Xu, Ming

Publication type:

Article

Logics of Nonsense and Parry Systems.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 1, p. 65, doi. 10.1007/s10992-014-9321-y

By:

Ferguson, Thomas

Publication type:

Article

Non-classical Metatheory for Non-classical Logics.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 335, doi. 10.1007/s10992-012-9223-9

By:

Bacon, Andrew

Publication type:

Article

A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 5, p. 663, doi. 10.1007/s10992-010-9163-1

By:

Khan, Md.;
Banerjee, Mohua

Publication type:

Article

Reasoning About Permitted Announcements.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 4, p. 445, doi. 10.1007/s10992-011-9187-1

By:

Balbiani, P.;
Seban, P.

Publication type:

Article

On AGM for Non-Classical Logics.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 2, p. 271, doi. 10.1007/s10992-011-9178-2

By:

Wassermann, Renata

Publication type:

Article

Non-Adjunctive Inference and Classical Modalities.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 581, doi. 10.1007/s10992-004-8539-5

By:

Arló Costa, Horacio

Publication type:

Article

Proof Analysis in Modal Logic.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 507, doi. 10.1007/s10992-005-2267-3

By:

Negri, Sara

Publication type:

Article

On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 545, doi. 10.1007/s10992-005-1520-0

By:

DeWitt, Richard

Publication type:

Article

Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 607, doi. 10.1007/s10992-005-2831-x

By:

Bimbó, Katalin

Publication type:

Article

Unifying Quantified Modal Logic.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 621, doi. 10.1007/s10992-005-3664-3

By:

Garson, James

Publication type:

Article

Interpretations of intuitionist logic in non-normal modal logics.

Published in:

Journal of Philosophical Logic, 1999, v. 28, n. 1, p. 47, doi. 10.1023/A:1004324522424

By:

Oakes, Colin

Publication type:

Article

Non-genuine MacIntosh logics.

Published in:

Journal of Philosophical Logic, 1994, v. 23, n. 1, p. 87, doi. 10.1007/BF01417959

By:

Williamson, Timothy

Publication type:

Article

Asymptotic regularity for the nonclassical diffusion equation with lower regular forcing term.

Published in:

Dynamical Systems: An International Journal, 2011, v. 26, n. 4, p. 391, doi. 10.1080/14689367.2011.562185

By:

Wu, Hongqing;
Zhang, Zhuanye

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:

Bordihn, Henning;
Nagy, Benedek;
Vaszil, György

Publication type:

Article

Special Issue: Non-Classical Models of Automata and Applications III (NCMA-2011).

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 459, doi. 10.1051/ita/2012022

By:

Freund, Rudolf;
Holzer, Markus;
Mereghetti, Carlo;
Otto, Friedrich;
Palano, Beatrice

Publication type:

Article

THEORETICAL PEARLS : Flattening combinators: surviving without parentheses.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 4, p. 815, doi. 10.1017/s0956796802004483

By:

CHRIS OKASAKI

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:

Borge, Bruno

Publication type:

Article

Is Probability the Only Coherent Approach to Uncertainty?

Published in:

Risk Analysis: An International Journal, 2008, v. 28, n. 3, p. 645, doi. 10.1111/j.1539-6924.2008.01058.x

By:

Colyvan, Mark

Publication type:

Article

Complexity Results for Modal Dependence Logic.

Published in:

Studia Logica, 2013, v. 101, n. 2, p. 343, doi. 10.1007/s11225-013-9483-6

By:

Lohmann, Peter;
Vollmer, Heribert

Publication type:

Article

Expressivity of Imperfect Information Logics without Identity.

Published in:

Studia Logica, 2013, v. 101, n. 2, p. 237, doi. 10.1007/s11225-013-9482-7

By:

Kuusisto, Antti

Publication type:

Article

Lewis Dichotomies in Many-Valued Logics.

Published in:

Studia Logica, 2012, v. 100, n. 6, p. 1271, doi. 10.1007/s11225-012-9450-7

By:

Bova, Simone

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:

Kozhanov, A.;
Pinigina, N.

Publication type:

Article

On the boundary-value problem for a class of operator-differential equations of third order.

Published in:

Mathematical Notes, 2010, v. 87, n. 3/4, p. 590, doi. 10.1134/S0001434610030399

By:

Mamedov, A.

Publication type:

Article

Generalized mathematical model of the dynamics of consolidation processes with relaxation.

Published in:

Cybernetics & Systems Analysis, 2008, v. 44, n. 5, p. 646, doi. 10.1007/s10559-008-9036-6

By:

Bulavatsky, V.;
Skopetskii, V.

Publication type:

Article

The modal logic of continuous functions on cantor space.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 8, p. 1021, doi. 10.1007/s00153-006-0024-0

By:

Kremer, Philip

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:

CHEMLA, EMMANUEL;
ÉGRÉ, PAUL;
SPECTOR, BENJAMIN

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:

ZOLIN, EVGENY

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:

FRITTELLA, SABINE;
GRECO, GIUSEPPE;
KURZ, ALEXANDER;
PALMIGIANO, ALESSANDRA;
SIKIMIĆ, VLASTA

Publication type:

Article

A semantic proof of strong cut-admissibility for first-order Gödel logic.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 59, doi. 10.1093/logcom/exs006

By:

Lahav, Ori;
Avron, Arnon

Publication type:

Article

The d-logic of the real line.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 121, doi. 10.1093/logcom/exr054

By:

Lucero-Bryan, Joel Gregory

Publication type:

Article

A Notion of Coherence for Books on Conditional Events in Many-valued Logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 829, doi. 10.1093/logcom/exp061

By:

Montagna, Franco

Publication type:

Article

On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 739, doi. 10.1093/logcom/exp062

By:

Bou, Félix;
Esteva, Francesc;
Godo, Lluís;
Rodríguez, Ricardo Oscar

Publication type:

Article

Sum and Product in Dynamic Epistemic Logic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 563

By:

VAN DITMARSCH, H. P.;
RUAN, J.;
VERBRUGGE, R.

Publication type:

Article

On the Hierarchy of Intuitionistic Bounded Arithmetic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 625

By:

MONIRI, MORTEZA

Publication type:

Article

A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 615

By:

GUELEV, DIMITAR P.

Publication type:

Article

A Note on Bisimulation Qantifiers and Fixed Points over Transitive Frames.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 601

By:

D'AGOSTINO, GIOVANNA;
LENZI, GIACOMO

Publication type:

Article

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 509

By:

RYBAKOV, V.

Publication type:

Article

On Product Logic with Truth-constants.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 2, p. 205, doi. 10.1093/logcom/exi075

By:

Savický, Petr;
Cignoli, Roberto;
Esteva, Francesc;
Godo, Lluís;
Noguera, Carles

Publication type:

Article

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 2, p. 179, doi. 10.1093/logcom/14.2.179

By:

Finger, Marcelo;
Wasserman, Renata

Publication type:

Article

Ramification and causality in a modal action logic.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 5, doi. 10.1093/logcom/10.5.625

By:

Giordano, L;
Giordano, Laura;
Martelli, A;
Martelli, Alberto;
Schwind, C;
Schwind, Camilla

Publication type:

Article

On the expressive power of three-valued and four-valued languages.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.977

By:

Avron, A;
Avron, Arnon

Publication type:

Article

FIXED POINT THEOREMS FOR MULTIVALUED WEAK CONTRACTIONS.

Published in:

Studia Universitatis Babeş-Bolyai, Mathematica, 2009, n. 3, p. 33

By:

Filip, Alexandru-Darius;
Tünde^Petru, Petra

Publication type:

Article