Bimodal Logics for Extensions of Arithmetical Theories.
Lev D. BeklemishevPublished in: J. Symb. Log. (1996)
Keyphrases
- default logic
- knowledge representation formalisms
- expressive power
- modal logic
- cognitive psychology
- theoretical framework
- default theories
- decision making
- nonmonotonic logics
- gaussian mixture
- data model
- inference rules
- knowledge representation
- defeasible logic
- propositional calculus
- computational models
- conditional logic
- modal operators
- real time
- propositional dynamic logic