- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.details
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.Timothy Bowen - 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
|
|
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
|
|
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.Philippe Baldiani & Levan Uridia - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 71-88.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
|
|
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.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
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Branching Time Axiomatized With the Use of Change Operators.Marcin Łyczak - 2023 - Logic Journal of the IGPL 31 (5):894-906.details
|
|
The logic of modal changes LMC.Marcin Łyczak - 2020 - Journal of Applied Non-Classical Logics 30 (1):50-67.details
|
|
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.details
|
|
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.details
|
|
True, Truer, Truest.Brian Weatherson - 2005 - Philosophical Studies 123 (1):47-70.details
|
|
On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.details
|
|
Modal Foundations for Predicate Logic.Johan van Benthem - 1997 - Logic Journal of the IGPL 5 (2):259-286.details
|
|
Local properties in modal logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2012 - Artificial Intelligence 187-188 (C):133-155.details
|
|
Descriptions of game actions.Hans P. van Ditmarsch - 2002 - Journal of Logic, Language and Information 11 (3):349-365.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
|
|
Complete axiomatizations for XPath fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.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
|
|
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
|
|
The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22-69.details
|
|
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.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
|
|
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.details
|
|
Is there a genuine modal perspective on feature structures?Marcus Kracht - 1995 - Linguistics and Philosophy 18 (4):401 - 458.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
|
|
Linear time in hypersequent framework.Andrzej Indrzejczak - 2016 - Bulletin of Symbolic Logic 22 (1):121-144.details
|
|
Outline of a Logic of Knowledge of Acquaintance.Samuele Iaquinto & Giuseppe Spolaore - 2019 - Analysis 79:52-61.details
|
|
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.details
|
|
Reusing Topological Nexttime Logic.Bernhard Heinemann - 2020 - Studia Logica 108 (6):1207-1234.details
|
|
On Binary Computation Structures.Bernhard Heinemann - 1997 - Mathematical Logic Quarterly 43 (2):203-215.details
|
|
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.Christopher Hampson, Stanislav Kikot, Agi Kurucz & Sérgio Marcelino - 2020 - Annals of Pure and Applied Logic 171 (5):102786.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.details
|
|
Parallel action: Concurrent dynamic logic with independent modalities.Robert Goldblatt - 1992 - Studia Logica 51 (3-4):551 - 578.details
|
|
Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Linear temporal justification logics with past and future time modalities.Meghdad Ghari - 2023 - Logic Journal of the IGPL 31 (1):1-38.details
|
|
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.Meghdad Ghari - forthcoming - Artificial Intelligence and Law:1-43.details
|
|
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.details
|
|