Semantics for first-order superposition logic.
Athanassios TzouvarasPublished in: Log. J. IGPL (2019)
Keyphrases
- sound and complete with respect
- conditional logic
- model theoretic
- logic programming
- predicate calculus
- logical theories
- sound and complete axiomatization
- classical first order logic
- proof theory
- theorem proving
- operational semantics
- default reasoning
- proof theoretic
- possibilistic logic
- logic programs
- modal logic
- belief revision
- first order logic
- description logics
- general logic programs
- dynamic logic
- nonmonotonic logics
- epistemic logic
- logical formulas
- action theories
- linear temporal logic
- fixpoint
- propositional dynamic logic
- nonmonotonic reasoning
- formal language
- deductive databases
- probabilistic logic
- formal semantics
- predicate logic
- derivation rules
- alternating time temporal logic
- algebraic structure
- term rewriting
- autoepistemic logic
- horn clauses
- active rules
- computational properties
- highly expressive
- propositional logic
- situation calculus
- higher order
- relational structures
- classical logic
- reasoning tasks
- intuitionistic logic
- modal operators
- automated reasoning
- temporal logic
- finite model theory
- kripke models
- knowledge representation