Keyphrases
- epistemic logic
- dynamic epistemic logic
- modal logic
- modal operators
- logic programming
- classical logic
- predicate logic
- logical framework
- set theory
- deontic logic
- defeasible logic
- proof theory
- database
- conceptual change
- multi valued
- belief change
- propositional logic
- model checking
- asynchronous circuits
- socio cognitive
- propositional dynamic logic
- theoretical framework
- kripke models