- (1 other version)Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291.details
|
|
Rules with parameters in modal logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.details
|
|
(1 other version)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
|
|
An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.details
|
|
An Algebraic Approach to Canonical Formulas: Modal Case.Guram Bezhanishvili & Nick Bezhanishvili - 2011 - Studia Logica 99 (1-3):93-125.details
|
|
Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-59.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
|
|
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik M. Lauridsen - 2019 - Studia Logica 107 (2):247-282.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
|
|
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.details
|
|
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.details
|
|
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.details
|
|
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.details
|
|
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.details
|
|
Remarks on Stable Formulas in Intuitionistic Logic.Majid Alizadeh & Ali Bibak - forthcoming - Logic and Logical Philosophy:1.details
|
|
Substitution Frege and extended Frege proof systems in non-classical logics.Emil Jeřábek - 2009 - Annals of Pure and Applied Logic 159 (1-2):1-48.details
|
|
Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.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
|
|
Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.details
|
|
Stable Formulas in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2018 - Notre Dame Journal of Formal Logic 59 (3):307-324.details
|
|
The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$.Jeroen P. Goudsmit - 2018 - Notre Dame Journal of Formal Logic 59 (3):325-353.details
|
|
Frame Based Formulas for Intermediate Logics.Nick Bezhanishvili - 2008 - Studia Logica 90 (2):139-159.details
|
|