Rosser Provability and Normal Modal Logics.

Taishi Kurahashi

Published in: Stud Logica (2020)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
default logic
epistemic logic
situation calculus
sequent calculus
conditional logic
autoepistemic logic
cooperative
modal operators