Complete abstractions and subclassical modal logics

DOI10.1007/978-3-319-52234-0_10zbMATH Open1484.68099OpenAlexW2569091507MaRDI QIDQ2961561FDOQ2961561

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Universal abstract consistency class and universal refutation
• A first approach to abstract modal logics

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)