Apartness and Distinguishing Formulas in Hennessy-Milner Logic.
Herman GeuversPublished in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
- logic programming
- modal logic
- horn clauses
- predicate calculus
- modal operators
- inference rules
- automated reasoning
- linear time temporal logic
- action theories
- quantifier free
- artificial intelligence
- deontic logic
- predicate logic
- classical logic
- multi valued
- set theory
- defeasible logic
- logical framework
- asynchronous circuits
- proof theory
- logical formulas
- situation calculus