Spatial logic of tangled closure operators and modal mu-calculus

DOI10.1016/J.APAL.2016.11.006zbMATH Open1422.03034OpenAlexW2549414009MaRDI QIDQ515566FDOQ515566

Authors: Robert Goldblatt, Ian 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

Recommendations

• Modal logics of metric spaces
• scientific article; zbMATH DE number 5295723
• Reasoning About Space: The Modal Way
• Tangled closure algebras
• Topological completeness of logics above \(\mathbf{S4}\)

zbMATH Keywords

modal logicstrong completenessfinite model propertyderivative operatordense-in-itself metric space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metric spaces, metrizability (54E35) Games involving topology, set theory, or logic (91A44) Quotient spaces, decompositions in general topology (54B15)

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Handbook of modal logic
• Introduction to Boolean Algebras
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• On closed elements in closure algebras
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Results on the propositional \(\mu\)-calculus
• On squares of modal logics with additional connectives
• The algebra of topology
• Some results on modal axiomatization and definability for topological spaces
• Reasoning About Space: The Modal Way
• Title not available (Why is that?)
• « Everywhere » and « here »
• The McKinsey-Lemmon logic is barely canonical
• $ℵ_0$-categoricity of linear orderings
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• More on \(d\)-logics of subspaces of the rational numbers
• Intuitionistic logic and modality via topology
• Strong completeness of S4 for any dense-in-itself metric space
• Modal characterisation theorems over special classes of frames
• A proof of topological completeness for S4 in \((0,1)\)
• A sound and complete axiomatization for dynamic topological logic
• On completeness of dynamic topological logic
• Topological Modal Logics with Difference Modality
• Topological modal logic of $ \mathbb R$ with inequality
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4
• Title not available (Why is that?)
• The d-logic of the real line
• Spatial logic of tangled closure operators and modal mu-calculus
• Derivational modal logics with the difference modality
• Simple completeness proofs for some spatial logics of the real line
• On the modal definability of simulability by finite transitive models
• Tangled modal logic for topological dynamics

Cited In (13)

• Dynamic Cantor Derivative Logic
• Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
• Fixed point logics and definable topological properties
• Fixed point logics and definable topological properties
• The universal tangle for spatial reasoning
• Succinctness in subsystems of the spatial \(\mu\)-calculus
• Tangled closure algebras
• The finite model property for logics with the tangle modality
• Games for topological fixpoint logic
• Complete intuitionistic temporal logics for topological dynamics
• Strong completeness of modal logics over 0-dimensional metric spaces
• Spatial logic of tangled closure operators and modal mu-calculus
• THE BAIRE CLOSURE AND ITS LOGIC

This page was built for publication: Spatial logic of tangled closure operators and modal mu-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515566)