Maximal Synthesis for Hennessy-Milner Logic with the Box Modality.
Allan van HulstMichel A. ReniersWan J. FokkinkPublished in: WODES (2014)
Keyphrases
- logic synthesis
- multi modal
- modal logic
- functional programs
- medical images
- classical logic
- logic programming
- program synthesis
- data mining
- information systems
- multi valued
- real world
- multi agent systems
- logic circuits
- asynchronous circuits
- deontic logic
- nonmonotonic logics
- computational properties
- information retrieval
- logic programs
- website
- data model