- Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.details
|
|
Basic modal logic.John L. Pollock - 1967 - Journal of Symbolic Logic 32 (3):355-365.details
|
|
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.details
|
|
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.details
|
|
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.details
|
|
Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.details
|
|
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.details
|
|
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.details
|
|
Die zurückführung Des möglichen auf Das wirkliche.Peter Kügler - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (2):223 - 240.details
|
|
Meeting of the association for symbolic logic: Atlanta 1973.C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik - 1974 - Journal of Symbolic Logic 39 (2):390-405.details
|
|
Possibilistic reasoning—a mini-survey and uniform semantics.Churn-Jung Liau & Bertrand I.-Peng Lin - 1996 - Artificial Intelligence 88 (1-2):163-193.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.details
|
|
Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist’s Dilemma.Francesco Berto - 2007 - Dialectica 61 (2):235–263.details
|
|
Lewis on implication.Stephen Francis Barker - 2006 - Transactions of the Charles S. Peirce Society 42 (1):10-16.details
|
|
Models of Possibilities Instead of Logic as the Basis of Human Reasoning.P. N. Johnson-Laird, Ruth M. J. Byrne & Sangeet S. Khemlani - 2024 - Minds and Machines 34 (3):1-22.details
|
|
Exact Truthmaker Semantics for Modal Logics.Dongwoo Kim - 2024 - Journal of Philosophical Logic 53 (3):789-829.details
|
|
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.details
|
|
Supervaluationism, Modal Logic, and Weakly Classical Logic.Joshua Schechter - 2024 - Journal of Philosophical Logic 53 (2):411-61.details
|
|
The Baire Closure and its Logic.G. Bezhanishvili & D. Fernández-Duque - 2024 - Journal of Symbolic Logic 89 (1):27-49.details
|
|
Ab Esse ad Posse Non Valet Consequentia.Daniel Dohrn - 2024 - Journal of Philosophical Logic 53 (2):391-409.details
|
|
Contemporary (Analytic Tradition).Robert Michels - 2024 - In Kathrin Koslicki & Michael J. Raven (eds.), The Routledge Handbook of Essence in Philosophy. Routledge.details
|
|
Technische Fiktionen: Zur Ontologie und Ethik der Gestaltung.Michael Kuhn - 2023 - transcript Verlag.details
|
|
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.details
|
|
A puzzle about moral responsibility.Fabio Lampert & John William Waldrop - 2023 - Philosophical Studies 180 (8):2291-2307.details
|
|
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.Peter Fritz - 2024 - Journal of Symbolic Logic 89 (2):758-793.details
|
|
Cooperative concurrent games.Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples & Michael Wooldridge - 2023 - Artificial Intelligence 314 (C):103806.details
|
|
The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.Gianfranco Basti - 2022 - Philosophies 7 (6):121.details
|
|
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide - 2023 - Journal of Logic, Language and Information 32 (3):395-440.details
|
|
A Landscape of Logics beyond the Deduction Theorem.Bas C. van Fraassen - 2022 - Principia: An International Journal of Epistemology 26 (1):25-38.details
|
|
Ramsey’s conditionals.Mario Günther & Caterina Sisti - 2022 - Synthese 200 (2):1-31.details
|
|
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.Anuj Kumar More & Mohua Banerjee - 2023 - Logic Journal of the IGPL 31 (3):441-474.details
|
|
The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.details
|
|
Laws of Nature as Constraints.Emily Adlam - 2022 - Foundations of Physics 52 (1):1-41.details
|
|
Copy and remove as dynamic operators.Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert & François Schwarzentruber - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):181-220.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Deference Done Better.Kevin Dorst, Benjamin A. Levinstein, Bernhard Salow, Brooke E. Husic & Branden Fitelson - 2021 - Philosophical Perspectives 35 (1):99-150.details
|
|
Being in a position to know.Juhani Yli-Vakkuri & John Hawthorne - 2022 - Philosophical Studies 179 (4):1323-1339.details
|
|
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation.Norihiro Kamide - 2021 - Journal of Logic, Language and Information 30 (3):491-531.details
|
|
Logical characterizations of regular equivalence in weighted social networks.Tuan-Fang Fan & Churn-Jung Liau - 2014 - Artificial Intelligence 214 (C):66-88.details
|
|
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.details
|
|
Knowledge representation and commonsense reasoning: Reviews of four books.Leora Morgenstern - 2006 - Artificial Intelligence 170 (18):1239-1250.details
|
|
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.details
|
|
Logical foundations of artificial intelligence.Stephen W. Smoliar - 1989 - Artificial Intelligence 38 (1):119-124.details
|
|
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.details
|
|
Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.details
|
|
Possible world semantics and autoepistemic reasoning.Liwu Li - 1994 - Artificial Intelligence 71 (2):281-320.details
|
|
Modeling agents as qualitative decision makers.Ronen I. Brafman & Moshe Tennenholtz - 1997 - Artificial Intelligence 94 (1-2):217-268.details
|
|
EXPtime tableaux for ALC.Francesco M. Donini & Fabio Massacci - 2000 - Artificial Intelligence 124 (1):87-138.details
|
|