Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.
Gennady ShtakserPublished in: Logica Universalis (2023)
Keyphrases
- epistemic logic
- modal operators
- computation tree logic
- expressive power
- modal logic
- description logics
- computational properties
- model checking
- decision procedures
- dynamic epistemic logic
- inference rules
- temporal logic
- information retrieval
- neural network
- science classroom
- conceptual change
- real time
- kripke models
- belief change
- morphological operators
- situation calculus
- belief revision
- multi agent systems
- genetic algorithm
- databases