Keyphrases
- epistemic logic
- temporal epistemic
- logical framework
- inference rules
- model checking
- modal logic
- linear logic
- first order logic
- theorem prover
- multi agent systems
- dynamic epistemic logic
- multi faceted
- formal semantics
- computation tree logic
- horn clauses
- mathematical theory
- fuzzy set theory
- fuzzy numbers
- cooperative
- reasoning tasks
- temporal logic
- linear temporal logic
- belief revision
- knowledge base
- model checker
- theorem proving
- domain independent