- Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.details
|
|
Canonical extensions for congruential logics with the deduction theorem.Mai Gehrke, Ramon Jansana & Alessandra Palmigiano - 2010 - Annals of Pure and Applied Logic 161 (12):1502-1519.details
|
|
Duality for Double Quasioperator Algebras via their Canonical Extensions.M. Gehrke & H. A. Priestley - 2007 - Studia Logica 86 (1):31-68.details
|
|
Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-59.details
|
|
Meet-completions and ordered domain algebras.R. Egrot & Robin Hirsch - 2015 - Logic Journal of the IGPL 23 (4):584-600.details
|
|
Positive Monotone Modal Logic.Jim de Groot - 2021 - Studia Logica 109 (4):829-857.details
|
|
Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot & Dirk Pattinson - 2022 - Notre Dame Journal of Formal Logic 63 (2):213-242.details
|
|
Modal reduction principles: a parametric shift to graphs.Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano & Mattia Panettiere - 2024 - Journal of Applied Non-Classical Logics 34 (2):174-222.details
|
|
Algorithmic correspondence and canonicity for non-distributive logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.details
|
|
Algorithmic correspondence and canonicity for distributive modal logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.details
|
|
Generalized Kripke semantics for the Lambek-Grishin calculus.A. Chernilovskaya, M. Gehrke & L. van Rooijen - 2012 - Logic Journal of the IGPL 20 (6):1110-1132.details
|
|
Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.details
|
|
Modal and temporal extensions of non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.details
|
|
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
(1 other version)Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.details
|
|
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information: Positive logic with adjoint modalities.Mehrnoosh Sadrzadeh - 2010 - Review of Symbolic Logic 3 (3):351-373.details
|
|
Ockham’s razor and reasoning about information flow.Mehrnoosh Sadrzadeh - 2009 - Synthese 167 (2):391-408.details
|
|
Semi De Morgan Logic Properly Displayed.Giuseppe Greco, Fei Liang, M. Andrew Moshier & Alessandra Palmigiano - 2020 - Studia Logica 109 (1):1-45.details
|
|
A Sahlqvist theorem for substructural logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.details
|
|
Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.details
|
|
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.details
|
|
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation, Tbillc 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers.Balder D. ten Cate (ed.) - 2007 - Berlin and Heidelberg: Springer.details
|
|
Varieties of positive modal algebras and structural completeness.Tommaso Moraschini - 2019 - Review of Symbolic Logic 12 (3):557-588.details
|
|
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.details
|
|
On Polarity Frames: Applications to Substructural and Lattice-based Logics.Tomoyuki Suzuki - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 533-552.details
|
|
Kripke completeness of strictly positive modal logics over meet-semilattices with operators.Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter & Michael Zakharyaschev - 2019 - Journal of Symbolic Logic 84 (2):533-588.details
|
|
A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System.Bruno Teheux - 2007 - Studia Logica 87 (1):13-36.details
|
|
A Duality for Distributive Unimodal Logic.Adam Přenosil - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 423-438.details
|
|
Sahlqvist Theorems for Precontact Logics.Philippe Balbiani & Stanislav Kikot - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 55-70.details
|
|