Tangled modal logic for topological dynamics
From MaRDI portal
Publication:764267
DOI10.1016/j.apal.2011.12.018zbMath1248.03033WikidataQ58883306 ScholiaQ58883306MaRDI QIDQ764267
Publication date: 13 March 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.018
03B45: Modal logic (including the logic of norms)
03B44: Temporal logic
03C35: Categoricity and completeness of theories
03B62: Combined logics
Related Items
Non-finite axiomatizability of dynamic topological logic, Spatial logic of tangled closure operators and modal mu-calculus, The finite model property for logics with the tangle modality, A sound and complete axiomatization for Dynamic Topological Logic
Cites Work