THE EXPRESSIVE POWER OF MEMORY LOGICS

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)

zbMATH Keywords

decidabilityfinite model propertyexpressive powerhybrid logicsmemory logics

Mathematics Subject Classification ID

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

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