Completeness results for memory logics

DOI10.1016/J.APAL.2011.09.005MaRDI QIDQ408552zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Santiago Figueira, Sergio Mera

Publication date 10 April 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2011.09.005

zbMATH Keywords

completenessmodal logicshybrid logicsmemory logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• The expressive power of memory logics
• Completeness Results for Memory Logics
• Tableaux and model checking for memory logics
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Basic model theory for memory logics

Cites work

• Dynamic Epistemic Logic and Knowledge Puzzles
• Expressive Power and Decidability for Memory Logics
• Handbook of modal logic
• Hybrid completeness
• Logics of communication and change
• Modal logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The expressive power of memory logics

Cited in

(8)

• Completeness Results for Memory Logics
• CaRet with forgettable past
• Memory of past beliefs and actions
• Basic model theory for memory logics
• The expressive power of memory logics
• Characterization, definability and separation via saturated models
• Expressive Power and Decidability for Memory Logics
• Tableaux and model checking for memory logics

This page was built for publication: Completeness results for memory logics

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