Monitorability for the Hennessy-Milner logic with recursion.

Adrian Francalanza Luca Aceto Anna Ingólfsdóttir

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

multi valued
classical logic
predicate logic
logic programming
modal logic
complex objects
deductive databases
digital circuits
sound and complete axiomatization
automated reasoning
neural network
asynchronous circuits
defeasible logic
deductive reasoning
deontic logic
epistemic logic
truth values
real world