A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic.
Youan SuKatsuhiko SanoPublished in: Stud Logica (2023)
Keyphrases
- epistemic logic
- temporal epistemic
- logical framework
- model checking
- inference rules
- modal logic
- linear logic
- first order logic
- theorem prover
- dynamic epistemic logic
- multi agent systems
- formal semantics
- computation tree logic
- temporal logic
- fuzzy set theory
- horn clauses
- multi faceted
- linear temporal logic
- reasoning tasks
- cooperative
- mathematical theory
- artificial intelligence
- belief revision
- fuzzy sets
- model checker
- knowledge representation
- multi agent