Complete Abstractions and Subclassical Modal Logics

DOI10.1007/978-3-319-52234-0_10zbMath1484.68099OpenAlexW2569091507MaRDI QIDQ2961561

Vijay D'Silva, Marcelo S. Sousa

Publication date: 21 February 2017

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

Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_10

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inverse-limit and topological aspects of abstract interpretation
• Generalized Kripke frames
• Property preserving abstractions for the verification of concurrent systems
• A new semantics for positive modal logic
• Optimal domains for disjunctive abstract interpretation
• Algorithmic analysis of programs with well quasi-ordered domains.
• Positive modal logic
• Ideal Abstractions for Well-Structured Transition Systems
• Querying Graphs with Data
• A completeness theorem in modal logic
• Generalized Strong Preservation by Abstract Interpretation
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Abstract interpretation and application to logic programs
• Systematic design of program transformation frameworks by abstract interpretation
• Making abstract interpretations complete
• Internal and External Logics of Abstract Interpretations
• Algebraic semantics for modal logics I
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators
• Well-structured transition systems everywhere!