- Higher-Order Evidence.Kevin Dorst - 2024 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. New York, NY: Routledge. pp. 176-194.details
|
|
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.details
|
|
Against S5: Impossible Worlds in the Logic of What Might Have Been.Nathan Salmon - manuscriptdetails
|
|
Impossibility and Impossible Worlds.Daniel Nolan - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge. pp. 40-48.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Logic without metaphysics.José L. Zalabardo - 2019 - Synthese 198 (S22):5505-5532.details
|
|
Actualism and Modal Semantics.José L. Zalabardo - 2018 - Acta Analytica 33 (1):35-49.details
|
|
Being in a position to know.Juhani Yli-Vakkuri & John Hawthorne - 2022 - Philosophical Studies 179 (4):1323-1339.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
Back to the actual future.Jacek Wawer & Alex Malpass - 2020 - Synthese 197 (5):2193-2213.details
|
|
A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System.Bruno Teheux - 2007 - Studia Logica 87 (1):13-36.details
|
|
Inductive reasoning and chance discovery.Ahmed Y. Tawfik - 2004 - Minds and Machines 14 (4):441-451.details
|
|
Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Decidability of four modal logics.Krister Segerberg - 1968 - Theoria 34 (1):21-25.details
|
|
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details
|
|
Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.details
|
|
The Logic of What Might Have Been.Nathan Salmon - 1989 - Philosophical Review 98 (1):3-34.details
|
|
Access Denied to Zombies.Gualtiero Piccinini - 2017 - Topoi 36 (1):81-93.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
|
|
A Hintikka possible worlds model for certainty levels in medical decision making.G. William Moore & Grover M. Hutchins - 1981 - Synthese 48 (1):87 - 119.details
|
|
The Fundamental Theorem of World Theory.Christopher Menzel & Edward N. Zalta - 2014 - Journal of Philosophical Logic 43:333-363.details
|
|
A formal account of opportunism based on the situation calculus.Jieting Luo & John-Jules Meyer - 2017 - AI and Society 32 (4):527-542.details
|
|
Completeness and decidability of three logics of counterfactual conditionals.David Lewis - 1971 - Theoria 37 (1):74-85.details
|
|
Some properties of natural language quantifiers: Generalized quantifier theory. [REVIEW]Edward Keenan - 2002 - Linguistics and Philosophy 25 (5-6):627-654.details
|
|
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.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
|
|
A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.details
|
|
Presuppositions and Implicatures in Counterfactuals.Michela Ippolito - 2003 - Natural Language Semantics 11 (2):145-186.details
|
|
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.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
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Semàntica i pragmàtica, contingut i context.Joan Gimeno-Simó - 2019 - Quaderns de Filosofia 6 (2):91.details
|
|
Logics With Several Modal Operators.Melvin Fitting - 1969 - Theoria 35 (3):259-266.details
|
|
Quaderns de filosofia VI, 2.Quad Fia - 2019 - Quaderns de Filosofia 6 (2).details
|
|
Minimal structures for modal tableaux: Some examples.Luis Fariñas del Cerro & Olivier Gasquet - 2004 - Logic and Logical Philosophy 8:99.details
|
|
Deference Done Better.Kevin Dorst, Benjamin A. Levinstein, Bernhard Salow, Brooke E. Husic & Branden Fitelson - 2021 - Philosophical Perspectives 35 (1):99-150.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.details
|
|
Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.details
|
|
Action and ability.Mark A. Brown - 1990 - Journal of Philosophical Logic 19 (1):95 - 114.details
|
|
Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist’s Dilemma.Francesco Berto - 2007 - Dialectica 61 (2):235–263.details
|
|
Foreword.Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici & Yde Venema - 2012 - Studia Logica 100 (1-2):1-7.details
|
|
Pidiendo un Harry en su contexto.Miguel Alvarez Lisboa & Carlo Apablaza Ávila - 2022 - Análisis Filosófico 42 (1):145-169.details
|
|
Laws of Nature as Constraints.Emily Adlam - 2022 - Foundations of Physics 52 (1):1-41.details
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Arthur prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Modal tableaux for reasoning about diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.details
|
|