- Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknowndetails
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
Unity, truth and the liar: the modern relevance of medieval solutions to the liar paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - New York: Springer.details
|
|
Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2009 - Journal of Logic, Language and Information 18 (2):291-292.details
|
|
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
A note on the complexity of S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2021 - Journal of Applied Non-Classical Logics 31 (2):108-129.details
|
|
A Systematic Presentation Of Quantified Modal Logics.Claudio Castellini & Alan Smaill - 2002 - Logic Journal of the IGPL 10 (6):571-599.details
|
|
Variants of multi-relational semantics for propositional non-normal modal logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.details
|
|
Quantification in Some Non-normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.details
|
|
Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.details
|
|
Action Type Deontic Logic.Martin Mose Bentzen - 2014 - Journal of Logic, Language and Information 23 (4):397-414.details
|
|
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.details
|
|
On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.details
|
|
The future ain’t what it used to be: Strengthening the case for mutable futurism.Giacomo Andreoletti & Giuseppe Spolaore - 2021 - Synthese 199 (3-4):10569-10585.details
|
|
Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 494-515.details
|
|
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
The Logic of Sortals: A Conceptualist Approach.Max A. Freund - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Frame problem in dynamic logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.details
|
|
The logic of modal changes LMC.Marcin Łyczak - 2020 - Journal of Applied Non-Classical Logics 30 (1):50-67.details
|
|
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.details
|
|
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.details
|
|
Constructive modal logics I.Duminda Wijesekera - 1990 - Annals of Pure and Applied Logic 50 (3):271-301.details
|
|
True, Truer, Truest.Brian Weatherson - 2005 - Philosophical Studies 123 (1):47-70.details
|
|
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.details
|
|
A communication algorithm for teamwork in multi-agent environments.Egon van Baars & Rineke Verbrugge - 2009 - Journal of Applied Non-Classical Logics 19 (4):431-461.details
|
|
Modal and temporal logics for abstract space–time structures.Sara L. Uckelman & Joel Uckelman - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):673-681.details
|
|
Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.details
|
|
Linear temporal logic with until and next, logical consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.details
|
|
Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.details
|
|
Counterfactuals and updates as inverse modalities.Mark Ryan & Pierre-Yves Schobbens - 1997 - Journal of Logic, Language and Information 6 (2):123-146.details
|
|
Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.details
|
|
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.details
|
|
Back from the future.Andrea Masini, Luca Viganò & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.details
|
|
Deontic Interpreted Systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63-92.details
|
|
Is there a genuine modal perspective on feature structures?Marcus Kracht - 1995 - Linguistics and Philosophy 18 (4):401 - 458.details
|
|
Some weakened Gödelian ontological systems.Srećko Kovač - 2003 - Journal of Philosophical Logic 32 (6):565-588.details
|
|
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘ Overwhelming Majority ’ Default Conditionals.Costas D. Koutras & Christos Rantsoudis - 2017 - Journal of Logic, Language and Information 26 (2):109-141.details
|
|
Formalization of Counterfactual Inference by Dynamic Logic.Yuichiro Hosokawa - 2012 - Kagaku Tetsugaku 45 (1):17-33.details
|
|
Reusing Topological Nexttime Logic.Bernhard Heinemann - 2020 - Studia Logica 108 (6):1207-1234.details
|
|