Blending margins: the modal logic K has nullary unification type.

Published in: J. Log. Comput. (2015)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
dynamic logic
situation calculus
default logic
classical logic
conditional logic
modal operators
higher order
autoepistemic logic
prime implicates
description logic alc