Sequent calculi and decidability for intuitionistic hybrid logic.

Didier Galmiche Yakoub Salhi

Published in: Inf. Comput. (2011)

Keyphrases

sequent calculi
cut elimination
linear logic
sequent calculus
natural deduction
wide class
inference rules
sufficient conditions
modal logic
classical logic
description logics
decision procedures
conditional logic
query answering
proof search
theorem prover
fixed point
logic programming