Succinctness in subsystems of the spatial -calculus

MaRDI QIDQ5869540FDOQ5869540

Authors: David Fernández-Duque, Petar Iliev 

Publication date: 28 September 2022

Full work available at URL: https://arxiv.org/abs/1708.03770

Recommendations

• Spatial logic of tangled closure operators and modal mu-calculus
• The succinctness of the cover modality
• Results on the propositional \(\mu\)-calculus
• On the expressivity of the modal mu-calculus
• On the succinctness of some modal logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (6)

• Dynamic Cantor Derivative Logic
• Fixed point logics and definable topological properties
• Fixed point logics and definable topological properties
• The universal tangle for spatial reasoning
• The succinctness of the cover modality
• TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES

This page was built for publication: Succinctness in subsystems of the spatial \(\mu\)-calculus

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