A new principle in the interpretability logic of all reasonable arithmetical theories.
Evan GorisJoost J. JoostenPublished in: Log. J. IGPL (2011)
Keyphrases
- defeasible logic
- probability theory
- modal logic
- formal logic
- predicate logic
- classical logic
- theoretical framework
- logic programming
- high quality
- closed world assumptions
- causal theories
- rule base
- data sets
- information systems
- modal operators
- propositional theories
- multi valued
- causal reasoning
- cognitive psychology
- probabilistic logic
- prediction accuracy
- neural network
- databases