De Finettian Logics of Indicative Conditionals Part I: Trivalent Semantics and Validity.
Paul ÉgréLorenzo RossiJan SprengerPublished in: J. Philos. Log. (2021)
Keyphrases
- conditional logic
- proof theoretic
- modal logic
- default reasoning
- higher order logic
- nonmonotonic reasoning
- belief revision
- inheritance reasoning
- proof theory
- nonmonotonic logics
- epistemic logic
- propositional dynamic logic
- nonmonotonic inference
- knowledge representation and reasoning
- default rules
- default logic
- multiple inheritance
- linear logic
- neural network
- valued semantics
- modal operators
- table of contents
- formal semantics
- temporal logic
- valued logic
- logic programming
- inference rules
- partial order
- model theoretic
- dynamic logic
- semantic information
- database
- xml documents
- classical logic