Lax extensions of coalgebra functors and their logic.
Johannes MartiYde VenemaPublished in: J. Comput. Syst. Sci. (2015)
Keyphrases
- logic programming
- knowledge representation formalisms
- default logic
- proof theory
- classical logic
- autoepistemic logic
- default theories
- sound and complete axiomatization
- automata theoretic
- propositional dynamic logic
- truth maintenance systems
- epistemic logic
- digital circuits
- logical framework
- probabilistic logic
- modal logic
- database
- natural deduction
- knowledge representation
- case study
- neural network