Completeness results for memory logics

DOI10.1016/j.apal.2011.09.005zbMath1245.03023OpenAlexW2074452517MaRDI QIDQ408552

Santiago Figueira, Sergio Mera, Carlos Areces

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)

Related Items (1)

Characterization, definability and separation via saturated models

Cites Work

• Unnamed Item
• Unnamed Item
• Logics of communication and change
• THE EXPRESSIVE POWER OF MEMORY LOGICS
• Expressive Power and Decidability for Memory Logics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Hybrid completeness
• Representation, reasoning, and relational structures: a hybrid logic manifesto

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