On the modal definability of simulability by finite transitive models

DOI10.1007/S11225-011-9339-XzbMath1246.03042OpenAlexW2003311901MaRDI QIDQ763328

David Fernández-Duque

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

zbMATH Keywords

simulationmodal logicbisimulationKripke modeldecidability, mu-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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