An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.

Published in: Stud Logica (2012)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
theorem proving
sequent calculus
nonmonotonic logics
sequent calculi
situation calculus
epistemic logic
default logic
classical logic
conditional logic
automated reasoning
cut elimination
artificial intelligence
incomplete information
expert systems