Maximally permissive controlled system synthesis for non-determinism and modal logic.
A. C. van HulstMichel A. ReniersWan J. FokkinkPublished in: Discret. Event Dyn. Syst. (2017)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- default logic
- classical logic
- program synthesis
- conditional logic
- nonmonotonic logics
- texture synthesis
- description logic alc
- explanation based generalization
- situation calculus
- relational databases
- logical framework
- autoepistemic logic
- modal operators
- partial order
- dynamic logic
- sequent calculus
- model checking