Nested Sequents for the Logic of Conditional Belief.
Marianna GirlandoBjörn LellmannNicola OlivettiPublished in: JELIA (2019)
Keyphrases
- linear logic
- sequent calculus
- conditional logic
- belief revision
- modal logic
- inference rules
- modal operators
- logical framework
- natural deduction
- logic programming
- probability theory
- fixed point
- belief functions
- truth values
- random field model
- desirable properties
- epistemic states
- classical logic
- conditional probabilities
- truth maintenance systems
- belief state
- description logics
- logic programs
- probability measures
- nonmonotonic logics
- propositional logic
- multiscale
- default reasoning