Fixed point logics and definable topological properties

DOI10.1007/978-3-031-15298-6_3MaRDI QIDQ6102992zbMATH OpenFDO

Authors David Fernández-Duque

Publication date 2 June 2023

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15298-6_3

zbMATH Keywords

expressivitymu-calculustopological semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Modal languages for topology: expressivity and definability
• Spatial logic of tangled closure operators and modal mu-calculus
• On the \(\mu \)-calculus over transitive and finite transitive frames

Cites work

• An algebraic approach to subframe logics. Modal case
• Completeness for flat modal fixpoint logics
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Completions of -algebras
• Derivational modal logics with the difference modality
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• scientific article; zbMATH DE number 7297836 (Why is no real title available?)
• scientific article; zbMATH DE number 3028682 (Why is no real title available?)
• Intuitionistic logic and modality via topology
• Modal logic
• On the modal definability of simulability by finite transitive models
• Results on the propositional \(\mu\)-calculus
• Spatial logic of tangled closure operators and modal mu-calculus
• Succinctness in subsystems of the spatial -calculus
• The algebra of topology
• The finite model property for logics with the tangle modality
• « Everywhere » and « here »

Cited in

(2)

• scientific article; zbMATH DE number 2103277 (Why is no real title available?)
• The topological mu-calculus: completeness and decidability

This page was built for publication: Fixed point logics and definable topological properties

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