THE EXPRESSIVE POWER OF MEMORY LOGICS

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)

zbMATH Keywords

decidabilityexpressive powerhybrid logicsmemory logicsfinite model property

Mathematics Subject Classification ID

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

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)