THE EXPRESSIVE POWER OF MEMORY LOGICS
From MaRDI portal
Publication:3094189
DOI10.1017/S1755020310000389zbMath1247.03027MaRDI QIDQ3094189
Sergio Mera, Diego Figueira, Carlos Areces, Santiago Figueira
Publication date: 21 October 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
Related Items
Expressive power of ``now and ``then operators, Completeness results for memory logics, Verification of dynamic bisimulation theorems in Coq, A modal logic for supervised learning, Characterization, definability and separation via saturated models, On Characterization, Definability and ω-Saturated Models
Cites Work
- Model-checking in dense real-time
- Logics of communication and change
- Dynamic epistemic logic
- Propositional dynamic logic is weaker without tests
- Hybrid languages
- Hybrid logics: characterization, interpolation and complexity
- Expressive Power and Decidability for Memory Logics
- Tableaux and Model Checking for Memory Logics
- The benefits of relaxing punctuality
- The computational complexity of hybrid temporal logics
- Dynamic predicate logic
- An axiomatic basis for computer programming