Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions.
George VoutsadakisPublished in: Math. Log. Q. (2013)
Keyphrases
- algebraic structure
- logic programming
- propositional dynamic logic
- mathematical theory
- computer algebra
- dynamic logic
- sound and complete with respect
- high level
- programming language
- proof theory
- epistemic logic
- operational semantics
- proof theoretic
- e learning
- educational institutions
- logical framework
- logic programs
- metadata
- knowledge base