- Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.details
|
|
Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.Timothy Bowen - manuscriptdetails
|
|
Generalized Quantifiers Meet Modal Neighborhood Semantics.Dag Westerståhl & Johan van Benthem - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 187-206.details
|
|
A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.details
|
|
On the Concept of a Notational Variant.Alexander W. Kocurek - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 284-298.details
|
|
Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-436.details
|
|
On Modal Products with th Logic of 'Elsewhere'.Christopher Hampson & Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 339-347.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.details
|
|
Modeling future indeterminacy in possibility semantics.Fabrizio Cariani - manuscriptdetails
|
|
Expressivity results for deontic logics of collective agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2021 - Synthese 198 (9):8733-8753.details
|
|
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.details
|
|
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.details
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.Timothy Bowen - manuscriptdetails
|
|
Temporal logic of surjective bounded morphisms between finite linear processes.David Gabelaia, Evgeny Kuznetsov, Radu Casian Mihailescu, Konstantine Razmadze & Levan Uridia - 2023 - Journal of Applied Non-Classical Logics 34 (1):1-30.details
|
|
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.details
|
|
Impossible Worlds.Franz Berto & Mark Jago - 2013 - Oxford: Oxford University Press.details
|
|
Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.details
|
|
Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.details
|
|
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.details
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Merging Frameworks for Interaction.Johan Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Substantive assumptions in interaction: a logical perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
On the Modal Logic of the Non-orthogonality Relation Between Quantum States.Shengyang Zhong - 2018 - Journal of Logic, Language and Information 27 (2):157-173.details
|
|
Probability logic of finitely additive beliefs.Chunlai Zhou - 2010 - Journal of Logic, Language and Information 19 (3):247-282.details
|
|
Correspondence Between Kripke Frames and Projective Geometries.Shengyang Zhong - 2018 - Studia Logica 106 (1):167-189.details
|
|
On the Logic of Balance in Social Networks.Zuojun Xiong & Thomas Ågotnes - 2020 - Journal of Logic, Language and Information 29 (1):53-75.details
|
|
Methodological naturalism and epistemic internalism.Gregory Wheeler & Luís Moniz Pereira - 2008 - Synthese 163 (3):315-328.details
|
|
NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.details
|
|
Observations on the Trivial World.Zach Weber & Hitoshi Omori - 2019 - Erkenntnis 84 (5):975-994.details
|
|
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).details
|
|
Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.details
|
|
An Interpretation of McCall’s “Real Possible Worlds” and His Semantics for Counterfactuals.Alexandru Dragomir - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):65-78.details
|
|
Speed Up the Conception of Logical Systems with Test-Driven Development.Mathieu Vidal - 2014 - Journal of Logic, Language and Information 23 (1):83-103.details
|
|
Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.details
|
|
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.details
|
|
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.details
|
|
What one may come to know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.details
|
|
“That Will Do”: Logics of Deontic Necessity and Sufficiency.Frederik Van De Putte - 2017 - Erkenntnis 82 (3):473-511.details
|
|
The succinctness of the cover modality.H. Van Ditmarsch & P. Iliev - 2015 - Journal of Applied Non-Classical Logics 25 (4):373-405.details
|
|
The modal logic of stepwise removal.Johan van Benthem, Krzysztof Mierzewski & Francesca Zaffora Blando - 2022 - Review of Symbolic Logic 15 (1):36-63.details
|
|
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.details
|
|
The Logic of Observation and Belief Revision in Scientific Communities.Hanna Sofie van Lee & Sonja Smets - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):243-266.details
|
|
Social laws in alternating time: Effectiveness, feasibility, and synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
My beliefs about your beliefs: A case study in theory of mind and epistemic logic.Hans van Ditmarsch & Willem Labuschagne - 2007 - Synthese 155 (2):191-209.details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.details
|
|
Implicit, explicit and speculative knowledge.Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada & Yì N. Wáng - 2018 - Artificial Intelligence 256:35-67.details
|
|
Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.details
|
|