A natural deduction system for bundled branching time logic.

Stefano Baratella Andrea Masini

Published in: J. Appl. Non Class. Logics (2013)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
intuitionistic logic
sequent calculus
epistemic logic
theorem proving
linear time temporal logic
linear logic
model checking
temporal logic
temporal reasoning
automated reasoning
proof theoretic
artificial intelligence
modal logic
high level