A Standard Internal Calculus for Lewis' Counterfactual Logics.

Nicola Olivetti Gian Luca Pozzato

Published in: TABLEAUX (2015)

Keyphrases

database
search algorithm
information systems
multiscale
expressive power
classical logic
proof theoretic