Tableaux and model checking for memory logics

DOI10.1007/978-3-642-02716-1_5MaRDI QIDQ3648720zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera

Publication date 1 December 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02716-1_5

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Basic model theory for memory logics
• The expressive power of memory logics
• Completeness results for memory logics
• Tableau-based model checking in the propositional mu-calculus
• Completeness Results for Memory Logics

Cited in

(5)

• Basic model theory for memory logics
• The expressive power of memory logics
• Expressive Power and Decidability for Memory Logics
• Completeness Results for Memory Logics
• Completeness results for memory logics

This page was built for publication: Tableaux and model checking for memory logics

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