Free Algebras for Gödel-Löb Provability Logic.
Samuel J. van GoolPublished in: Advances in Modal Logic (2014)
Keyphrases
- relation algebra
- boolean algebra
- logic programming
- sound and complete axiomatization
- modal logic
- proof theory
- multi valued
- distributive lattices
- deontic logic
- classical logic
- database
- spatial reasoning
- information systems
- probabilistic logic
- automated reasoning
- asynchronous circuits
- temporal reasoning
- case study
- knowledge base