Logic for Two: The Semantics of Distributive Substructural Logics.
John K. SlaneyRobert K. MeyerPublished in: ECSQARU-FAPR (1997)
Keyphrases
- propositional calculus
- propositional dynamic logic
- proof theory
- nonmonotonic logics
- epistemic logic
- proof theoretic
- conditional logic
- modal logic
- proof procedures
- modal operators
- valued semantics
- classical logic
- default reasoning
- logic programming
- dynamic logic
- higher order logic
- computational properties
- autoepistemic logic
- sound and complete axiomatization
- kripke models
- intuitionistic logic
- model theoretic
- logical framework
- default logic
- inference rules
- reasoning about actions
- valued logic
- knowledge representation formalisms
- description logics
- automated reasoning
- tableau calculus
- situation calculus
- coalition logic
- propositional logic
- sound and complete with respect
- expressive power
- alternating time temporal logic
- general theory
- reasoning tasks
- operational semantics
- temporal logic
- linear logic
- consistent query answering