Belnap-Dunn Modal Logics: Truth constants vs. Truth Values.
Sergei P. OdintsovStanislav O. SperanskiPublished in: Rev. Symb. Log. (2020)
Keyphrases
- truth values
- modal logic
- inference rules
- logical framework
- boolean logic
- temporal logic
- decision procedures
- theorem proving
- theorem prover
- classical logic
- epistemic logic
- valued logic
- situation calculus
- state space
- nonmonotonic logics
- horn clauses
- multi valued
- multi agent
- default logic
- propositional logic
- graphical models