A Substructural Epistemic Resource Logic: Theory and Modelling Applications.
Didier GalmichePierre KimmelDavid J. PymPublished in: CoRR (2019)
Keyphrases
- modal operators
- propositional calculus
- formal theory
- epistemic logic
- causal reasoning
- modal logic
- dynamic epistemic logic
- set theory
- computer algebra
- proof theory
- commonsense reasoning
- theoretical framework
- probability theory
- logic programming
- deductive reasoning
- asynchronous circuits
- resource allocation
- mathematical theory
- logical framework
- temporal logic
- action theories
- neural network
- information resources
- classical logic
- boolean algebra
- automated reasoning
- theoretical basis
- genetic algorithm