Non-deterministic semantics for logics with a consistency operator.
Arnon AvronPublished in: Int. J. Approx. Reason. (2007)
Keyphrases
- modal operators
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- conditional logic
- modal logic
- epistemic logic
- expressive power
- proof theoretic
- valued semantics
- formal semantics
- semantic information
- proof procedures
- computational properties
- default reasoning
- dynamic logic
- fixpoint semantics
- cp nets
- temporal logic
- higher order logic
- model theoretic
- tableau calculus
- kripke models
- database languages
- knowledge representation formalisms
- database
- logical framework
- nonmonotonic reasoning
- constraint networks
- belief revision
- logic programming