A Substructural Epistemic Resource Logic.
Didier GalmichePierre KimmelDavid J. PymPublished in: ICLA (2017)
Keyphrases
- propositional calculus
- epistemic logic
- dynamic epistemic logic
- modal logic
- modal operators
- resource allocation
- logic programming
- propositional dynamic logic
- resource constraints
- belief change
- multi valued
- classical logic
- nonmonotonic logics
- case study
- information systems
- computation tree logic
- real time
- bounded model checking
- allocation scheme
- mathematical theory
- set theory
- logical framework
- automated reasoning
- resource management
- temporal logic
- model checking