Keyphrases
- epistemic logic
- specification language
- operational semantics
- control flow
- logic program updates
- formal semantics
- semantic information
- attribute grammars
- formal specification
- formal language
- logic programs
- propositional dynamic logic
- model theoretic
- reasoning tasks
- semantic constraints
- transformation rules
- modal operators
- concurrent systems
- delay insensitive
- logic programming
- description logics