Intuitionistic \textsf{S4} as a logic of topological spaces
From MaRDI portal
Publication:6909826
Cites work
- 2-Sequent Calculus: Intuitionism and Natural Deduction
- A Constructive Presentation for the Modal Connective of Necessity (□)
- A modal analysis of staged computation
- Abstract algebraic logic. An introductory textbook
- Bi-intuitionistic logics: a new instance of an old problem
- Boolean Algebras with Operators. Part I
- Constructive modal logics. I
- Does the deduction theorem fail for modal logic?
- Fitch-style modal lambda calculi
- Handbook of modal logic
- Handbook of philosophical logic. Vol. 8
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3131074 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3677799 (Why is no real title available?)
- scientific article; zbMATH DE number 3706414 (Why is no real title available?)
- scientific article; zbMATH DE number 3461905 (Why is no real title available?)
- scientific article; zbMATH DE number 1303434 (Why is no real title available?)
- scientific article; zbMATH DE number 1323297 (Why is no real title available?)
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- scientific article; zbMATH DE number 1489632 (Why is no real title available?)
- scientific article; zbMATH DE number 2107988 (Why is no real title available?)
- scientific article; zbMATH DE number 3222922 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 970622 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- Intuitionistic non-normal modal logics: a general framework
- Intuitionistic S4 is decidable
- Modal dependent type theory and dependent right adjoints
- Modal logic
- Modal logic S4 as a paraconsistent logic with a topological semantics
- Modality and possibility in some intuitionistic modal logics
- Models for stronger normal intuitionistic modal logics
- Neighborhood semantics for modal logic
- On an intuitionistic modal logic
- On intuitionistic diamonds (and lack thereof)
- On some intuitionistic modal logics
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Some relational systems and the associated topological spaces
- Some theorems about the sentential calculi of Lewis and Heyting
- Symbolic logic.
- Terminating sequent calculi for proving and refuting formulas in S4
- The algebra of topology
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Theory of logical calculi. Basic theory of consequence operations
- Tools and techniques in modal logic
- Topological and multi-topological frames in the context of intuitionistic modal logic
- Topological representations of distributive lattices and Brouwerian logics
- Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
- Universal grammar
- Zum intuitionistischen Aussagenkalkül.
- Über die Theorie der Verträglichkeit von Aussagen.
This page was built for publication: Intuitionistic \textsf{S4} as a logic of topological spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909826)
