- The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
|
|
Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.details
|
|
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
The Geometry of Knowledge.Johan van Benthem & Darko Sarenac - unknowndetails
|
|
(2 other versions)Modal formulas are either elementary or not σδ-elementary.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):436-438.details
|
|
First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.details
|
|
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.details
|
|
Model theory of topological structures.Steven Garavaglia - 1978 - Annals of Mathematical Logic 14 (1):13.details
|
|
(3 other versions)Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.details
|
|
(3 other versions)Multimo dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.details
|
|
« Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
(3 other versions)Multimo dal logics of products of topologies.J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.details
|
|
(2 other versions)Modal formulas are either elementary or not ΣΔ-elementary.J. F. A. K. van Benthem - 1976 - Journal of Symbolic Logic 41 (2):436-438.details
|
|
On Dynamic Topological and Metric Logics.B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev - 2006 - Studia Logica 84 (1):129-160.details
|
|
The theorems of beth and Craig in abstract model theory II. Compact logics.J. A. Makowsky & S. Shelah - 1981 - Archive for Mathematical Logic 21 (1):13-35.details
|
|
Topological model theory with an interior operator: Consistency properties and back — and forth arguments.J. A. Makowsky & M. Ziegler - 1981 - Archive for Mathematical Logic 21 (1):37-54.details
|
|
(1 other version)Topological Modal Logics with Difference Modality.Andrey Kudinov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 319-332.details
|
|