The modal logic of provability. The sequential approach.

Giovanni Sambin Silvio Valentini

Published in: J. Philos. Log. (1982)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
situation calculus
default logic
dynamic logic
nonmonotonic logics
conditional logic
autoepistemic logic
model checking
sequent calculus
multi agent systems
prime implicates