Spatial logic of tangled closure operators and modal mu-calculus

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

zbMATH Keywords

modal logicfinite model propertystrong completenessderivative operatordense-in-itself metric space

Mathematics Subject Classification ID

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