Counterfactuals and Propositional Contingentism.

Peter Fritz Jeremy Goodman

Published in: Rev. Symb. Log. (2017)

Keyphrases

propositional logic
first order logic
causal models
logical language
knowledge compilation
databases
multi valued
default logic
real time
website
knowledge base
formal semantics
social networks
probabilistic logic
real world
autoepistemic logic
proof procedure
sound and complete axiomatization