Keyphrases
- classical logic
- database systems
- logic programming
- predicate logic
- modal logic
- proof theory
- concurrency control
- deontic logic
- multi valued
- sound and complete axiomatization
- concurrent programming
- computational properties
- logical framework
- probabilistic logic
- formal theory
- abductive reasoning
- automated reasoning
- software systems
- data management
- optimistic concurrency control
- data sets