The Normal and Self-extensional Extension of Dunn-Belnap Logic.
Arnon AvronPublished in: Logica Universalis (2020)
Keyphrases
- linear time temporal logic
- modal logic
- logic programming
- formal theory
- sound and complete axiomatization
- knowledge base
- data model
- proof theoretic
- proof theory
- information retrieval
- default theories
- probabilistic logic
- defeasible logic
- computational properties
- classical logic
- multi valued
- automated reasoning
- case study
- artificial intelligence