A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics.
Miki TanakaJohn PowerPublished in: J. Log. Comput. (2006)
Keyphrases
- propositional calculus
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- conditional logic
- epistemic logic
- expressive power
- modal logic
- logic programming
- valued semantics
- proof procedures
- proof theoretic
- modal operators
- formal semantics
- unified model
- multi agent systems
- computational properties
- knowledge representation formalisms
- inference rules
- classical logic
- social choice
- logical framework
- linear logic
- dynamic logic
- valued logic
- default reasoning
- belief revision
- semantic information
- hierarchical structure