Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.

Marianna Girlando Nicola Olivetti Sara Negri

Published in: Advances in Modal Logic (2018)

Keyphrases

sequent calculi
logical framework
modal logic
causal reasoning
proof theory
internal and external
neural network
classical logic
reasoning tasks
asynchronous circuits
internal structures
databases
multi valued
nonmonotonic logics
deontic logic
dynamic logic
logic programming
sound and complete axiomatization