- 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
|
|
(2 other versions)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.details
|
|
Intuitionistic tense and modal logic.W. B. Ewald - 1986 - Journal of Symbolic Logic 51 (1):166-179.details
|
|
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.details
|
|
Intuitionistic propositional logic with Galois connections.Wojciech Dzik, Jouni Järvinen & Michiro Kondo - 2010 - Logic Journal of the IGPL 18 (6):837-858.details
|
|
Appendix A: Programs of Group Meetings.[author unknown] - 1986 - Journal of Philosophy 83 (10):608-618.details
|
|
On modal logic with an intuitionistic base.Gisèle Fischer Servi - 1977 - Studia Logica 36:141.details
|
|
(1 other version)On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.details
|
|
Maehara-style modal nested calculi.Roman Kuznets & Lutz Straßburger - 2019 - Archive for Mathematical Logic 58 (3-4):359-385.details
|
|
(1 other version)Multimodal Linguistic Inference.Michael Moortgat - 1995 - Logic Journal of the IGPL 3 (2-3):371-401.details
|
|
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.details
|
|
Characterizing intermediate tense logics in terms of Galois connections.W. Dzik, J. Jarvinen & M. Kondo - 2014 - Logic Journal of the IGPL 22 (6):992-1018.details
|
|
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.details
|
|
MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.details
|
|
On the Relation Between Various Negative Translations.Gilda Ferreira & Paulo Oliva - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 227-258.details
|
|
(1 other version)On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.details
|
|
Interpolation and FEP for logics of residuated algebras.Wojciech Buszkowski - 2011 - Logic Journal of the IGPL 19 (3):437-454.details
|
|
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.details
|
|
(1 other version)Multimodal linguistic inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.details
|
|
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.details
|
|
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.details
|
|