Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories.
Evan GorisJoost J. JoostenPublished in: J. Symb. Log. (2020)
Keyphrases
- defeasible logic
- modal operators
- theoretical framework
- rule base
- multi valued
- propositional theories
- formal logic
- prediction accuracy
- probability theory
- cognitive psychology
- bayesian networks
- proof theory
- theoretical models
- design theory
- classical logic
- modal logic
- logic programming
- learning theories
- causal reasoning
- set theory
- cognitive models
- deontic logic
- fundamental principles
- logic programs
- logical formulas
- fuzzy logic
- artificial intelligence
- logical theories