Sequent Calculi for Normal Modal Proposisional Logics.

Heinrich Wansing

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

Keyphrases

sequent calculi
modal logic
conditional logic
temporal logic
decision procedures
nonmonotonic logics
inference rules
cut elimination
classical logic
default logic
kripke models
situation calculus
modal operators
sequent calculus
wide class
dynamic logic
machine learning
general purpose
probabilistic model