- Forms of Luminosity: 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
|
|
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.details
|
|
Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.details
|
|
Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
A Logic of Temporal Contingency.Jie Fan - forthcoming - Erkenntnis:1-30.details
|
|
Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.details
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
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
|
|
Level theory, part 2: Axiomatizing the bare idea of a potential hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.details
|
|
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.details
|
|
Idealist Origins: 1920s and Before.Martin Davies & Stein Helgeby - 2014 - In Graham Oppy & Nick Trakakis (eds.), History of Philosophy in Australia and New Zealand. Dordrecht: Springer. pp. 15-54.details
|
|
Outline of a Logic of Knowledge of Acquaintance.Samuele Iaquinto & Giuseppe Spolaore - 2019 - Analysis 79:52-61.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
|
|
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
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
True, Truer, Truest.Brian Weatherson - 2005 - Philosophical Studies 123 (1):47-70.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.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
|
|
Pozoruhodné logické systémy.Jaroslav Peregrin - 2000 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 8:90-96.details
|
|
On Binary Computation Structures.Bernhard Heinemann - 1997 - Mathematical Logic Quarterly 43 (2):203-215.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
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.details
|
|
A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.details
|
|
Advances in modal logic, volume.Rajeev Gore - unknowndetails
|
|
Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.details
|
|
Program semantics and classical logic.Reinhard Muskens - 1997) - In CLAUS Report Nr 86. Saarbrücken: University of the Saarland. pp. 1-27.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
|
|
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.details
|
|
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.details
|
|
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.details
|
|
A solution to the completeness problem for weakly aggregative modal logic.Peter Apostoli & Bryson Brown - 1995 - Journal of Symbolic Logic 60 (3):832-842.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 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
|
|
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
|
|
Linear time in hypersequent framework.Andrzej Indrzejczak - 2016 - Bulletin of Symbolic Logic 22 (1):121-144.details
|
|
Complete axiomatizations for XPath fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.details
|
|
Action Type Deontic Logic.Martin Mose Bentzen - 2014 - Journal of Logic, Language and Information 23 (4):397-414.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Updating knowledge using subsets.Konstantinos Georgatos - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):427-441.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
|
|
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
|
|
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.details
|
|