Truth-value semantics for a logic of existence.
Hugues LeblancPublished in: Notre Dame J. Formal Log. (1971)
Keyphrases
- logic programming
- proof theory
- valued logic
- sound and complete axiomatization
- truth values
- logical framework
- propositional dynamic logic
- epistemic logic
- nonmonotonic logics
- sound and complete with respect
- classical logic
- proof theoretic
- conditional logic
- alternating time temporal logic
- model theoretic
- dynamic logic
- operational semantics
- modal operators
- formal semantics
- higher order logic
- computational properties
- logic programs
- autoepistemic logic
- multi valued
- formal language
- rewrite systems
- highly expressive
- automated reasoning
- valued semantics
- derivation rules
- intuitionistic logic
- semantic information
- fixed point semantics
- knowledge base
- modal logic
- predicate calculus
- default reasoning
- reasoning tasks
- belief revision
- proof procedures
- defeasible logic
- active rules
- deductive databases
- integrity constraints
- propositional logic
- predicate logic
- default logic
- first order logic
- nonmonotonic reasoning