On the modal definability of simulability by finite transitive models
From MaRDI portal
Publication:763328
DOI10.1007/S11225-011-9339-XzbMATH Open1246.03042OpenAlexW2003311901MaRDI QIDQ763328FDOQ763328
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
Recommendations
- Some characterization and preservation theorems in modal logic
- Towards a generalization of modal definability
- On the definability of simulability and bisimilarity by finite epistemic models
- Elementary modal logics over transitive structures
- On the definability of simulation and bisimulation in epistemic logic
Cites Work
- Modal logic
- Modal languages and bounded fragments of predicate logic
- Ultrafilters: Some old and some new results
- A finite model theorem for the propositional \(\mu\)-calculus
- Results on the propositional \(\mu\)-calculus
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Title not available (Why is that?)
- Modal characterisation theorems over special classes of frames
- Non-deterministic semantics for dynamic topological logic
- Modal correspondence for models
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Logical patterns in space. Models, simulations, and games
Cited In (10)
- Fixed point logics and definable topological properties
- On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
- A sound and complete axiomatization for dynamic topological logic
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Fixed point logics and definable topological properties
- Non-finite axiomatizability of dynamic topological logic
- Idempotent Transductions for Modal Logics
- The finite model property for logics with the tangle modality
- Spatial logic of tangled closure operators and modal mu-calculus
- Tangled modal logic for topological dynamics
This page was built for publication: On the modal definability of simulability by finite transitive models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763328)
