- Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.details
|
|
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.details
|
|
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.details
|
|
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.details
|
|
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.details
|
|
(1 other version)Natural factors of the Medvedev lattice capturing IPC.Rutger Kuyper - 2014 - Archive for Mathematical Logic 53 (7):865-879.details
|
|
First-Order Logic in the Medvedev Lattice.Rutger Kuyper - 2015 - Studia Logica 103 (6):1185-1224.details
|
|
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.details
|
|
Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3):239-267.details
|
|
(1 other version)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
|
|
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.details
|
|
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
A Strange Remark Attributed to Gödel.Lloyd Humberstone - 2003 - History and Philosophy of Logic 24 (1):39-44.details
|
|
(1 other version)On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscriptdetails
|
|
(1 other version)Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-299.details
|
|
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes.Costas D. Koutras - 2003 - Journal of Applied Non-Classical Logics 13 (1):47-71.details
|
|
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.details
|
|
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.details
|
|
Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.details
|
|
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.details
|
|
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.details
|
|
The Modal Logic of Stone Spaces: Diamond as Derivative.Guram Bezhanishvili - 2010 - Review of Symbolic Logic 3 (1):26-40.details
|
|
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.details
|
|
Dynamic logics of the region-based theory of discrete spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.details
|
|
Zolin and Pizzi: Defining Necessity from Noncontingency.Lloyd Humberstone - 2013 - Erkenntnis 78 (6):1275-1302.details
|
|
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.Ming Xu - 2021 - Studia Logica 109 (6):1177-1200.details
|
|
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.details
|
|
Conditional Excluded Middle in Systems of Consequential Implication.Claudio Pizzi & Timothy Williamson - 2005 - Journal of Philosophical Logic 34 (4):333-362.details
|
|
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.details
|
|
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.details
|
|
Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.details
|
|
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.details
|
|
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.details
|
|
A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.details
|
|
Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.details
|
|
Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.details
|
|
« Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.Alex Citkin - 2012 - Studia Logica 100 (1-2):115-135.details
|
|
Classifying material implications over minimal logic.Hannes Diener & Maarten McKubre-Jordens - 2020 - Archive for Mathematical Logic 59 (7):905-924.details
|
|
An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.details
|
|
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.details
|
|