Sequent-Systems for Modal Logic.

Published in: J. Symb. Log. (1985)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
situation calculus
classical logic
nonmonotonic logics
conditional logic
management system
epistemic logic
expert systems
computer systems
model checking
default logic
sequent calculus