Maximal Synthesis for Hennessy-Milner Logic.

Allan C. van Hulst Michel A. Reniers Wan J. Fokkink

Published in: ACM Trans. Embed. Comput. Syst. (2015)

Keyphrases

logic synthesis
logic programming
predicate logic
functional programs
automated reasoning
multi valued
logical framework
asynchronous circuits
proof theory
information retrieval
artificial intelligence
knowledge representation
classical logic
defeasible logic