Resource separation in dynamic logic of propositional assignments.
Joseph BoudouAndreas HerzigNicolas TroquardPublished in: CoRR (2021)
Keyphrases
- dynamic logic
- classical first order logic
- first order logic
- modal logic
- reasoning about actions
- imperative programs
- propositional logic
- resource allocation
- agent programming
- default logic
- modal operators
- resource management
- multi valued
- propositional dynamic logic
- temporal logic
- inference rules
- probabilistic logic
- multiple input
- relational databases