Towards a Logic of Epistemic Theory of Measurement.
Claudio MasoloDaniele PorelloPublished in: CONTEXT (2019)
Keyphrases
- epistemic logic
- formal theory
- modal operators
- modal logic
- computer algebra
- set theory
- logical framework
- commonsense reasoning
- theoretical framework
- computational model
- dynamic epistemic logic
- proof theory
- logic programming
- case study
- mathematical theory
- neural network
- kripke models
- real time
- belief change
- theoretical basis
- situation calculus
- information systems
- artificial intelligence