A pre-semantics for counterfactual conditionals and similar logics.
Karl SchlechtaPublished in: CoRR (2017)
Keyphrases
- conditional logic
- proof theoretic
- modal logic
- default reasoning
- nonmonotonic logics
- higher order logic
- proof theory
- epistemic logic
- belief revision
- nonmonotonic reasoning
- logical framework
- nonmonotonic inference
- high level
- expressive power
- semantic information
- autoepistemic logic
- neural network
- knowledge representation and reasoning
- decision procedures
- belief change
- default logic
- default rules
- epistemic states
- knowledge representation formalisms
- keywords
- database systems