C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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