A natural sequent calculus for Lewis' logic of counterfactuals.

Nicola Olivetti Gian Luca Pozzato

Published in: CILC (2015)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
linear time temporal logic
proof search
logical framework
theorem prover
classical logic
wide class
first order logic
machine learning
causal models
desirable properties
high dimensional