Modal logics with functional alternative relations.

Krister Segerberg

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
dynamic logic
default logic
classical logic
modal operators
special case
conditional logic
autoepistemic logic