Carnap's Problem for Modal Logic.
Denis BonnayDag WesterståhlPublished in: Rev. Symb. Log. (2023)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- belief functions
- classical logic
- dempster shafer
- epistemic logic
- nonmonotonic logics
- conditional logic
- default logic
- dynamic logic
- situation calculus
- dynamic programming
- sequent calculus
- prime implicates
- database systems
- kripke models
- modal operators
- desirable properties
- multi agent systems
- reinforcement learning