A first-order epistemic quantum computational semantics with relativistic-like epistemic effects.
Maria Luisa Dalla ChiaraRoberto GiuntiniRoberto LeporiniGiuseppe SergioliPublished in: Fuzzy Sets Syst. (2016)
Keyphrases
- epistemic logic
- temporal epistemic
- logic program updates
- modal logic
- dynamic epistemic logic
- belief change
- model checking
- higher order
- inference rules
- logic programs
- conditional logic
- computation tree logic
- modal operators
- sound and complete with respect
- multi agent systems
- logical framework
- predicate calculus
- horn clauses
- quantum mechanics
- propositional dynamic logic
- kripke models