Basic model theory for memory logics

DOI10.1007/978-3-642-20920-8_8MaRDI QIDQ3003344zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera

Publication date 27 May 2011

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

Full work available at URL https://doi.org/10.1007/978-3-642-20920-8_8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Recommendations

• Completeness Results for Memory Logics
• Completeness results for memory logics
• Tableaux and model checking for memory logics
• The expressive power of memory logics
• APAL with memory Ii better

Cited in

(9)

• Memory of past beliefs and actions
• Global view on reactivity: switch graphs and their logics
• Memory and logic: a tale from automata theory
• The expressive power of memory logics
• Expressive Power and Decidability for Memory Logics
• Completeness Results for Memory Logics
• Tableaux and model checking for memory logics
• Completeness results for memory logics
• Graph games and logic design

This page was built for publication: Basic model theory for memory logics

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