- Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 494-515.details
|
|
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.details
|
|
Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.details
|
|
Modal logic.Patrick Blackburn - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.details
|
|
Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.details
|
|
On the canonicity of Sahlqvist identities.Bjarni Jónsson - 1994 - Studia Logica 53 (4):473 - 491.details
|
|
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.details
|
|
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.details
|
|
Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.details
|
|
Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 494-515.details
|
|
Bi-approximation Semantics for Substructural Logic at Work.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-433.details
|
|
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
A Sahlqvist theorem for substructural logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.details
|
|
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.details
|
|
The Distributivity on Bi-Approximation Semantics.Tomoyuki Suzuki - 2016 - Notre Dame Journal of Formal Logic 57 (3):411-430.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
Reduction of second‐order logic to modal logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.details
|
|
Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.details
|
|
Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.details
|
|
Bi-approximation Semantics for Substructural Logic at Work.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-433.details
|
|