Completeness Results for Memory Logics

DOI10.1007/978-3-540-92687-0_2MaRDI QIDQ3605517zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Santiago Figueira, Sergio Mera

Publication date 24 February 2009

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92687-0_2

Mathematics Subject Classification ID

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

Recommendations

• Completeness results for memory logics
• scientific article; zbMATH DE number 1114035
• Basic model theory for memory logics
• Tableaux and model checking for memory logics
• The expressive power of memory logics

Cites work

• A really temporal logic
• Dynamic epistemic logic
• Expressive Power and Decidability for Memory Logics
• Hybrid completeness
• Logics of communication and change
• Modal logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto

Cited in

(5)

• Basic model theory for memory logics
• The expressive power of memory logics
• Tableaux and model checking for memory logics
• Completeness results for memory logics
• scientific article; zbMATH DE number 1499081 (Why is no real title available?)

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 Q3605517)