Standard Sequent Calculi for Lewis' Logics of Counterfactuals.

Marianna Girlando Björn Lellmann Nicola Olivetti Gian Luca Pozzato

Published in: JELIA (2016)

Keyphrases

sequent calculi
conditional logic
modal logic
expressive power
logical language
artificial intelligence
bayesian networks
probability distribution
logic programs