Succinctness in subsystems of the spatial -calculus

MaRDI QIDQ5869540zbMATH OpenFDO

Authors David Fernández-Duque, Petar Iliev

Publication date 28 September 2022

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cited in

(7)

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

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)