Keyphrases
- epistemic logic
- modal logic
- modal operators
- dynamic epistemic logic
- classical logic
- predicate logic
- logical framework
- belief change
- automated reasoning
- databases
- computational properties
- digital signature
- inference rules
- model checking
- logic programming
- deontic logic
- asynchronous circuits
- propositional dynamic logic
- neural network