On Lukasiewicz's Four-Valued Modal Logic.

Josep Maria Font Petr Hájek

Published in: Stud Logica (2002)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
default logic
epistemic logic
situation calculus
classical logic
dynamic logic
prime implicates
conditional logic
nonmonotonic logics
natural language
multi valued
default theories
kripke models