Fixed point logics and definable topological properties

DOI10.1007/978-3-031-15298-6_3MaRDI QIDQ6102992

Unnamed Author, David Fernández-Duque

Publication date: 2 June 2023

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

zbMATH Keywords

expressivitymu-calculustopological semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spatial logic of tangled closure operators and modal mu-calculus
• An algebraic approach to subframe logics. Modal case
• Intuitionistic logic and modality via topology
• Completeness for flat modal fixpoint logics
• On the modal definability of simulability by finite transitive models
• Results on the propositional \(\mu\)-calculus
• Completions of \(\mu \)-algebras
• The finite model property for logics with the tangle modality
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• The algebra of topology
• Handbook of Spatial Logics
• « Everywhere » and « here »
• Derivational Modal Logics with the Difference Modality