Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction.
Ying GaoJingde ChengPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- logic programming
- proof theory
- semantics of logic programs
- sound and complete axiomatization
- epistemic logic
- sound and complete with respect
- propositional dynamic logic
- dynamic logic
- higher order
- nonmonotonic logics
- computational properties
- deductive databases
- default logic
- autoepistemic logic
- derivation rules
- conditional logic
- proof procedures
- query evaluation
- modal logic
- logic programs
- alternating time temporal logic
- higher order logic
- fixed point semantics
- default reasoning
- modal operators
- logical framework
- formal language
- semantically relevant
- model theoretic
- formal semantics
- fixpoint semantics
- conceptual schema
- data integration
- automated reasoning
- active rules
- defeasible logic
- valued semantics
- proof theoretic
- rule engine
- predicate logic