- The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
|
|
Intuitionistic tense and modal logic.W. B. Ewald - 1986 - Journal of Symbolic Logic 51 (1):166-179.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 some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.details
|
|
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.details
|
|
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.details
|
|
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.details
|
|
Constructive modal logics I.Duminda Wijesekera - 1990 - Annals of Pure and Applied Logic 50 (3):271-301.details
|
|
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 85-98.details
|
|
On modal logic with an intuitionistic base.Gisèle Fischer Servi - 1977 - Studia Logica 36:141.details
|
|
Bimodal Logics for Reasoning About Continuous Dynamics.Jen M. Davoren & Rajeev P. Goré - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 91-111.details
|
|
A Framework for Intuitionistic Modal Logics.Gordon Plotkin & Colin Stirling - 1988 - Journal of Symbolic Logic 53 (2):669-669.details
|
|
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 85-98.details
|
|
Quantifiers and Equivalence Relations.Oscar Varsavsky - 1959 - Journal of Symbolic Logic 24 (3):252-253.details
|
|