Intuitionistic Epistemic Logic.
Sergei N. ArtëmovTudor ProtopopescuPublished in: Rev. Symb. Log. (2016)
Keyphrases
- epistemic logic
- logical framework
- linear logic
- inference rules
- modal logic
- theorem prover
- model checking
- fuzzy set theory
- dynamic epistemic logic
- multi agent systems
- formal semantics
- belief revision
- multi faceted
- fuzzy numbers
- computation tree logic
- mathematical theory
- reasoning tasks
- theorem proving
- knowledge based systems
- first order logic
- cooperative
- multi agent