Binary Logics, Orthologics, and their Relations to Normal Modal Logics.

Yutaka Miyazaki

Published in: Advances in Modal Logic (2002)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
classical logic
conditional logic
epistemic logic
situation calculus
modal operators
default logic
dynamic logic
autoepistemic logic
kripke models
dynamic programming
sequent calculi
natural language