Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.

Published in: WoLLIC (2009)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
natural deduction
modal logic
linear time temporal logic
tree structure
wide class
classical logic
proof search
index structure
theorem prover
logical framework
sufficient conditions
first order logic
nonmonotonic logics
general purpose