Glivenko Type Theorems for Intuitionistic Modal Logics.

Guram Bezhanishvili

Published in: Stud Logica (2001)

Keyphrases

modal logic
classical logic
sequent calculus
cut elimination
decision procedures
inference rules
temporal logic
nonmonotonic logics
linear logic
epistemic logic
cooperative
logic programming
logic programs
situation calculus
theorem prover
autoepistemic logic