THE EXPRESSIVE POWER OF MEMORY LOGICS
From MaRDI portal
Publication:3094189
DOI10.1017/S1755020310000389zbMATH Open1247.03027MaRDI QIDQ3094189FDOQ3094189
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)
Cites Work
- Logics of communication and change
- The benefits of relaxing punctuality
- Model-checking in dense real-time
- An axiomatic basis for computer programming
- Dynamic epistemic logic
- Hybrid languages
- Hybrid logics: Characterization, interpolation and complexity
- Dynamic predicate logic
- Expressive Power and Decidability for Memory Logics
- The computational complexity of hybrid temporal logics
- Propositional dynamic logic is weaker without tests
- Tableaux and Model Checking for Memory Logics
Cited In (11)
- Verification of dynamic bisimulation theorems in Coq
- Completeness results for memory logics
- A calculus for attribute-based memory updates
- Local fact change logic
- The modal logics of the poison game
- Expressive power of ``now and ``then operators
- Programming Languages and Systems
- A modal logic for supervised learning
- On Characterization, Definability and ω-Saturated Models
- Characterization, definability and separation via saturated models
- Limitations of the program memory and the expressive power of dynamic logics
This page was built for publication: THE EXPRESSIVE POWER OF MEMORY LOGICS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094189)