- Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.details
|
|
Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.details
|
|
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.details
|
|
Some remarks on restricting the knowability principle.Martin Fischer - 2013 - Synthese 190 (1):63-88.details
|
|
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus.Aldo Victorio Figallo, Estela Bianco & Alicia Ziliani - 2014 - Open Journal of Philosophy 4 (3):319-331.details
|
|
Essay Review.[author unknown] - 2001 - History and Philosophy of Logic 22 (2):99-112.details
|
|
Frame constructions, truth invariance and validity preservation in many-valued modal logic.Pantelis E. Eleftheriou & Costas D. Koutras - 2005 - Journal of Applied Non-Classical Logics 15 (4):367-388.details
|
|
Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - History and Philosophy of Logic 29 (4):309-325.details
|
|
A logical characterisation of qualitative coalitional games.Paul E. Dunne, Wiebe van der Hoek & Michael Wooldridge - 2007 - Journal of Applied Non-Classical Logics 17 (4):477-509.details
|
|
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.details
|
|
Mixed algebras and their logics.Ivo Düntsch, Ewa Orłowska & Tinko Tinchev - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):304-320.details
|
|
Agreement Theorems in Dynamic-Epistemic Logic.Cédric Dégremont & Oliver Roy - 2012 - Journal of Philosophical Logic 41 (4):735-764.details
|
|
Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth.Cédric Dégremont & Jonathan Zvesper - 2011 - Synthese 179 (2):223 - 238.details
|
|
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.details
|
|
You better play 7: mutual versus common knowledge of advice in a weak-link experiment.Giovanna Devetag, Hykel Hosni & Giacomo Sillari - 2013 - Synthese 190 (8):1351-1381.details
|
|
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.details
|
|
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.details
|
|
A Note on Intensionalization.Philippe de Groote & Makoto Kanazawa - 2013 - Journal of Logic, Language and Information 22 (2):173-194.details
|
|
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.details
|
|
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.details
|
|
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.details
|
|
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.details
|
|
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.details
|
|
Vagueness: Subvaluationism.Pablo Cobreros - 2013 - Philosophy Compass 8 (5):472-485.details
|
|
Paraconsistent vagueness: a positive argument.Pablo Cobreros - 2011 - Synthese 183 (2):211-227.details
|
|
An efficient approach to nominal equalities in hybrid logic tableaux.Serenella Cerrito & Marta Cialdea Mayer - 2010 - Journal of Applied Non-Classical Logics 20 (1-2):39-61.details
|
|
A Common Frame for Formal Imagination.Joan Casas-Roma, M. Elena Rodríguez & Antonia Huertas - 2019 - Minds and Machines 29 (4):603-634.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
|
|
Determining the environment: a modal logic for closed interaction.Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini - 2009 - Synthese 169 (2):351-369.details
|
|
From KLM-style conditionals to defeasible modalities, and back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.details
|
|
Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak - 2011 - Logica Universalis 5 (2):327-350.details
|
|
Nonclassical Probability and Convex Hulls.Seamus Bradley - 2017 - Erkenntnis 82 (1):87-101.details
|
|
Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.details
|
|
Logics of left variable inclusion and Płonka sums of matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1-2):49-76.details
|
|
Inexact Knowledge with Introspection.Denis Bonnay & Paul Égré - 2009 - Journal of Philosophical Logic 38 (2):179-227.details
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.details
|
|
Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.details
|
|
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.details
|
|
Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. Van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.details
|
|
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.details
|
|
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.details
|
|
Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.details
|
|
The information in intuitionistic logic.Johan Benthem - 2008 - Synthese 167 (2):251-270.details
|
|
Logic in a Social Setting.Johan van Benthem - 2011 - Episteme 8 (3):227-247.details
|
|
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2009 - Journal of Philosophical Logic 38 (1):83 - 125.details
|
|
On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.details
|
|
Continuous propositional modal logic.Stefano Baratella - 2018 - Journal of Applied Non-Classical Logics 28 (4):297-312.details
|
|