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.
Logica Universalis 14(3), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2024 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 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.