Counterfactuals in Nelson Logic.

Andreas Kapsner Hitoshi Omori

Published in: LORI (2017)

Keyphrases

modal logic
multi valued
predicate logic
databases
logic programming
data sets
information retrieval
search engine
causal models
computational properties
defeasible logic
dynamic logic
proof theory
sound and complete axiomatization