Fixed point logics and definable topological properties
From MaRDI portal
Publication:6149964
DOI10.1017/s0960129523000385MaRDI QIDQ6149964
David Fernández-Duque, Unnamed Author
Publication date: 5 March 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Cites Work
- 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.
- Modal frame correspondences and fixed-points
- « Everywhere » and « here »
- Derivational Modal Logics with the Difference Modality
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Fixed point logics and definable topological properties
