A substructural epistemic resource logic: theory and modelling applications.
Didier GalmichePierre KimmelDavid J. PymPublished in: J. Log. Comput. (2019)
Keyphrases
- propositional calculus
- formal theory
- epistemic logic
- modal operators
- logical framework
- causal reasoning
- computer algebra
- theoretical framework
- mathematical theory
- modal logic
- probability theory
- commonsense reasoning
- proof theory
- set theory
- multi valued
- web resources
- asynchronous circuits
- truth maintenance systems
- proof theoretic
- neural network
- kripke models