Spatial logic of tangled closure operators and modal mu-calculus
From MaRDI portal
Publication:515566
DOI10.1016/j.apal.2016.11.006zbMath1422.03034OpenAlexW2549414009MaRDI QIDQ515566
Robert Goldblatt, I. M. Hodkinson
Publication date: 16 March 2017
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2016.11.006
Metric spaces, metrizability (54E35) Games involving topology, set theory, or logic (91A44) Modal logic (including the logic of norms) (03B45) Quotient spaces, decompositions in general topology (54B15)
Related Items
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Fixed point logics and definable topological properties ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ Fixed point logics and definable topological properties ⋮ Dynamic Cantor Derivative Logic ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ The finite model property for logics with the tangle modality ⋮ Unnamed Item ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Spatial logic of tangled closure operators and modal mu-calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spatial logic of tangled closure operators and modal mu-calculus
- Intuitionistic logic and modality via topology
- Modal characterisation theorems over special classes of frames
- On the modal definability of simulability by finite transitive models
- Tangled modal logic for topological dynamics
- Results on the propositional \(\mu\)-calculus
- Some results on modal axiomatization and definability for topological spaces
- More on \(d\)-logics of subspaces of the rational numbers
- A proof of topological completeness for S4 in \((0,1)\)
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- On squares of modal logics with additional connectives
- The algebra of topology
- On closed elements in closure algebras
- A lattice-theoretical fixpoint theorem and its applications
- A sound and complete axiomatization for Dynamic Topological Logic
- Topological Modal Logics with Difference Modality
- Introduction to Boolean Algebras
- Topological modal logic of $ \mathbb R$ with inequality
- A Sufficient Condition for the Finite Model Property of Modal Logics above K4
- « Everywhere » and « here »
- Reasoning About Space: The Modal Way
- The d-logic of the real line
- Derivational Modal Logics with the Difference Modality
- STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
- $ℵ_0$-categoricity of linear orderings
- Simple completeness proofs for some spatial logics of the real line
- Some theorems about the sentential calculi of Lewis and Heyting
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
