Completeness results for memory logics

DOI10.1016/J.APAL.2011.09.005zbMATH Open1245.03023OpenAlexW2074452517MaRDI QIDQ408552FDOQ408552

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

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

zbMATH Keywords

completenessmodal logicshybrid logicsmemory logics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• 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
• Completeness Results 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)