On the modal definability of simulability by finite transitive models
From MaRDI portal
(Redirected from Publication:763328)
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
- A finite model theorem for the propositional \(\mu\)-calculus
- scientific article; zbMATH DE number 3887063 (Why is no real title available?)
- Logical patterns in space. Models, simulations, and games
- Modal characterisation theorems over special classes of frames
- Modal correspondence for models
- Modal languages and bounded fragments of predicate logic
- Modal logic
- Non-deterministic semantics for dynamic topological logic
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Results on the propositional \(\mu\)-calculus
- Ultrafilters: Some old and some new results
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
Cited in
(10)- The finite model property for logics with the tangle modality
- A sound and complete axiomatization for dynamic topological logic
- On the definability of simulation and bisimulation in epistemic logic
- On the definability of simulability and bisimilarity by finite epistemic models
- Idempotent Transductions for Modal Logics
- Complete intuitionistic temporal logics for topological dynamics
- Spatial logic of tangled closure operators and modal mu-calculus
- Fixed point logics and definable topological properties
- Fixed point logics and definable topological properties
- 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)
