Abstract Logics, Logic Maps, and Logic Homomorphisms.
Steffen LewitzkaPublished in: Logica Universalis (2007)
Keyphrases
- propositional dynamic logic
- modal logic
- classical logic
- proof theory
- propositional calculus
- intuitionistic logic
- epistemic logic
- conditional logic
- knowledge representation formalisms
- nonmonotonic logics
- higher order logic
- logic programming
- coalition logic
- multi valued
- computational properties
- genetic algorithm
- sound and complete axiomatization
- horn logic
- sequent calculi
- data sets
- proof theoretic
- truth values
- predicate logic
- set theory
- inference rules
- graph theory
- temporal logic
- expressive power