Expressive Power and Decidability for Memory Logics

DOI10.1007/978-3-540-69937-8_7MaRDI QIDQ3511448zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera

Publication date 10 July 2008

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69937-8_7

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• The expressive power of memory logics
• Undecidability of multi-modal hybrid logics
• Completeness results for memory logics
• Basic model theory for memory logics
• Tableaux and model checking for memory logics

Cites work

• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• Hybrid languages
• Hybrid logics: Characterization, interpolation and complexity
• Internalizing labelled deduction
• Mechanizing Mathematical Reasoning
• Modal logic

Cited in

(13)

• Hybrid logic meets IF modal logic
• Verification of dynamic bisimulation theorems in Coq
• Limitations of the program memory and the expressive power of dynamic logics
• Characterization, definability and separation via saturated models
• The expressive power of memory logics
• On characterization, definability and -saturated models
• Completeness Results for Memory Logics
• Completeness results for memory logics
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Programming Languages and Systems
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• Graph games and logic design
• On the undecidability of logics with converse, nominals, recursion and counting

This page was built for publication: Expressive Power and Decidability for Memory Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511448)