Keyphrases
- programming language
- modal logic
- multi valued
- programming environment
- proof theory
- classical logic
- logical framework
- computer programming
- sound and complete axiomatization
- delay insensitive
- computational properties
- object oriented programming
- learning algorithm
- automated reasoning
- physical world
- logic programming
- user interface
- multi agent systems
- physical systems
- epistemic logic
- database systems
- concurrent programming
- databases