Output details
11 - Computer Science and Informatics
University of Birmingham
Output title
Kripke semantics for modal bilattice logic
Type
E - Conference contribution
Name of conference/published proceedings
28th Annual ACM/IEEE Symposium on Logic in Computer Science
Volume number
-
Issue number
-
First page of article
438
ISSN of proceedings
-
Year of publication
2013
URL
-
Number of additional authors
1
Additional information
<13> Belnap's proposal for a “useful four-valued logic” was fleshed out by Arieli and Avron to a proper multivalued logic. This paper extends this logic with modal operators and shows completeness with respect to four-valued Kripke structures. Several advanced techniques are employed to establish completeness of a Hilbert-style derivation system. The paper lays the foundation for dealing with conflicting and missing information in verification, a fact that was acknowledged explicitly by the LICS reviewers.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Theory of Computation
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-