Sign in

Standard Sequent Calculi for Lewis' Logics of Counterfactuals.

Marianna GirlandoBjörn LellmannNicola OlivettiGian 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