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)
Related Items (6)
Expressive power of ``now and ``then operators ⋮ A modal logic for supervised learning ⋮ Completeness results for memory logics ⋮ Characterization, definability and separation via saturated models ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ 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
This page was built for publication: THE EXPRESSIVE POWER OF MEMORY LOGICS