- Stable Formulas in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2018 - Notre Dame Journal of Formal Logic 59 (3):307-324.details
|
|
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.details
|
|
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$.Ming Xu - 2023 - Studia Logica 111 (6):899-946.details
|
|
Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.details
|
|
Is there a genuine modal perspective on feature structures?Marcus Kracht - 1995 - Linguistics and Philosophy 18 (4):401 - 458.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Cofinal Stable Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2016 - Studia Logica 104 (6):1287-1317.details
|
|
The algebraic face of minimality.Frank Wolter - 1998 - Logic and Logical Philosophy 6:225.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
|
|
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.details
|
|
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.Tatsuya Shimura - 1993 - Studia Logica 52 (1):23 - 40.details
|
|
Undefinability of propositional quantifiers in the modal system S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.details
|
|
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.Ming Xu - 2021 - Studia Logica 109 (6):1177-1200.details
|
|
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.details
|
|
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.details
|
|
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics.D. P. Skvortsov & V. B. Shehtman - 1993 - Annals of Pure and Applied Logic 63 (1):69-101.details
|
|
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.details
|
|
Modal logics of closed domains on Minkowski plane ★.Ilya Shapirovsky - 2007 - Journal of Applied Non-Classical Logics 17 (3):397-414.details
|
|
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.C. Hampson, S. Kikot & A. Kurucz - 2016 - Studia Logica 104 (3):455-486.details
|
|
A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.details
|
|
Subframe formulas for s4-type intuitionistic modal logic.Kazuyo Inoi - 2001 - Bulletin of the Section of Logic 30 (2):99-105.details
|
|
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. [REVIEW]Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (4):578-587.details
|
|
Remarks on Stable Formulas in Intuitionistic Logic.Majid Alizadeh & Ali Bibak - forthcoming - Logic and Logical Philosophy:1.details
|
|
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.details
|
|
Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.details
|
|
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.details
|
|
A Counterexample in Tense Logic.Frank Wolter - 1996 - Notre Dame Journal of Formal Logic 37 (2):167-173.details
|
|
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.details
|
|
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.details
|
|
Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.details
|
|
Frame Based Formulas for Intermediate Logics.Nick Bezhanishvili - 2008 - Studia Logica 90 (2):139-159.details
|
|
An Algebraic Approach to Subframe Logics. Modal Case.Guram Bezhanishvili, Silvio Ghilardi & Mamuka Jibladze - 2011 - Notre Dame Journal of Formal Logic 52 (2):187-202.details
|
|
An Algebraic Approach to Canonical Formulas: Modal Case.Guram Bezhanishvili & Nick Bezhanishvili - 2011 - Studia Logica 99 (1-3):93-125.details
|
|
An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.details
|
|
An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.details
|
|
Minimal p-morphic images, axiomatizations and coverings in the modal logic K.Fabio Bellissima & Saverio Cittadini - 1999 - Studia Logica 62 (3):371-398.details
|
|