Complete abstractions and subclassical modal logics

DOI10.1007/978-3-319-52234-0_10MaRDI QIDQ2961561zbMATH OpenOpenAlexFDO

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

Recommendations

• Expressiveness and completeness in abstraction
• Making abstract interpretations complete
• Making abstract models complete
• Comparing Completeness Properties of Static Analyses and Their Logics
• scientific article; zbMATH DE number 1222407

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• A completeness theorem in modal logic
• A new semantics for positive modal logic
• Abstract interpretation and application to logic programs
• Algebraic semantics for modal logics I
• Algorithmic analysis of programs with well quasi-ordered domains.
• Boolean Algebras with Operators
• Canonical extensions and relational completeness of some substructural logics
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Generalized Kripke frames
• Generalized Strong Preservation by Abstract Interpretation
• Ideal abstractions for well-structured transition systems
• Internal and External Logics of Abstract Interpretations
• Inverse-limit and topological aspects of abstract interpretation
• Making abstract interpretations complete
• On the complexity of fragments of modal logics
• Optimal domains for disjunctive abstract interpretation
• Positive modal logic
• Property preserving abstractions for the verification of concurrent systems
• Querying Graphs with Data
• Systematic design of program transformation frameworks by abstract interpretation
• Well-structured transition systems everywhere!

Cited in

(3)

• Universal abstract consistency class and universal refutation
• Expressiveness and completeness in abstraction
• A first approach to abstract modal logics

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: Complete abstractions and subclassical modal logics

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