Partiality and Adjointness in Modal Logic.

Wesley H. Holliday

Published in: Advances in Modal Logic (2014)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
conditional logic
modal operators
dynamic logic
data model
default logic
artificial intelligence
autoepistemic logic
description logic alc