A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.
Robert GoldblattPublished in: Advances in Modal Logic (2006)
Keyphrases
- knowledge base
- logic programming
- modal logic
- sound and complete with respect
- kripke models
- epistemic logic
- nonmonotonic logics
- description logics
- classical logic
- modal operators
- sound and complete axiomatization
- proof theory
- conditional logic
- propositional dynamic logic
- model theoretic
- dynamic logic
- inference rules
- model checking
- nonmonotonic reasoning
- tableau calculus
- autoepistemic logic
- default logic
- temporal logic
- computational properties
- truth maintenance systems
- highly expressive
- higher order logic
- proof theoretic
- alternating time temporal logic
- desirable properties
- formal language
- logical framework
- predicate calculus
- fixed point semantics
- valued logic
- valued semantics
- multi valued
- situation calculus
- propositional logic
- default reasoning
- derivation rules
- formal semantics
- automated reasoning
- argumentation semantics
- active rules
- action theories
- algebraic structure
- declarative semantics