The paper presents a first-order star semantics for BD+, defines an explosive intuitionistic variant QBDi3, and proves its completeness, disjunction/existence properties, and a four-valued characterization of a two-state fragment.
Logique et Analyse 54(213), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Kamide is in America, Moisil and Leitgeb are in Australia
The paper presents a first-order star semantics for BD+, defines an explosive intuitionistic variant QBDi3, and proves its completeness, disjunction/existence properties, and a four-valued characterization of a two-state fragment.