Modal logics with Belnapian truth values.

Sergei P. Odintsov Heinrich Wansing

Published in: J. Appl. Non Class. Logics (2010)

Keyphrases

truth values
modal logic
inference rules
temporal logic
boolean logic
decision procedures
theorem proving
epistemic logic
classical logic
nonmonotonic logics
default logic
multi valued
theorem prover
situation calculus
model checking
horn clauses
fixpoint
bayesian networks
linearly ordered
special case