On the modal definability of simulability by finite transitive models
From MaRDI portal
Publication:763328
DOI10.1007/S11225-011-9339-XzbMath1246.03042OpenAlexW2003311901MaRDI 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
Related Items (9)
A sound and complete axiomatization for Dynamic Topological Logic ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Fixed point logics and definable topological properties ⋮ Fixed point logics and definable topological properties ⋮ The finite model property for logics with the tangle modality ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ On the Definability of Simulability and Bisimilarity by Finite Epistemic Models ⋮ Tangled modal logic for topological dynamics
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
This page was built for publication: On the modal definability of simulability by finite transitive models
