On the modal definability of simulability by finite transitive models
From MaRDI portal
Publication:763328
DOI10.1007/s11225-011-9339-xzbMath1246.03042MaRDI QIDQ763328
Publication date: 9 March 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9339-x
03B45: Modal logic (including the logic of norms)
Related Items
Non-finite axiomatizability of dynamic topological logic, Tangled modal logic for topological dynamics, A sound and complete axiomatization for Dynamic Topological Logic, On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal characterisation theorems over special classes of frames
- Results on the propositional \(\mu\)-calculus
- Non-deterministic semantics for dynamic topological logic
- A finite model theorem for the propositional \(\mu\)-calculus
- Modal languages and bounded fragments of predicate logic
- Modal correspondence for models
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Ultrafilters: Some old and some new results
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture