- Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.details
|
|
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.details
|
|
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.details
|
|
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.details
|
|
On Pretabular Logics in NExtK4 (Part I).Shan Du & Hongkui Kang - 2014 - Studia Logica 102 (3):499-523.details
|
|
Tarskian consequence relations bilaterally: some familiar notions.Sergey Drobyshevich - 2019 - Synthese 198 (S22):5213-5240.details
|
|
Classifying material implications over minimal logic.Hannes Diener & Maarten McKubre-Jordens - 2020 - Archive for Mathematical Logic 59 (7-8):905-924.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
|
|
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
|
|
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
|
|
Finite non-deterministic semantics for some modal systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.details
|
|
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.details
|
|
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.Alex Citkin - 2012 - Studia Logica 100 (1-2):115-135.details
|
|
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.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
|
|
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.details
|
|
Three dual ontologies.Chris Brink & Ingrid Rewitzky - 2002 - Journal of Philosophical Logic 31 (6):543-568.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
|
|
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
|
|
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
|
|
Knowledge means ‘all’, belief means ‘most’.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2016 - Journal of Applied Non-Classical Logics 26 (3):173-192.details
|
|
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.details
|
|
Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscriptdetails
|
|