Logical Semantics for the First Order varsigma-Calculus.
Steffen van BakelUgo de'LiguoroPublished in: ICTCS (2003)
Keyphrases
- model theoretic
- logical theories
- predicate calculus
- proof procedure
- sound and complete with respect
- first order logic
- lambda calculus
- logical properties
- logical formulas
- conditional logic
- deductive databases
- decision procedures
- operational semantics
- logical framework
- description logics
- formal language
- database query languages
- situation calculus
- default reasoning
- formal semantics
- probabilistic logic
- logic programs
- logical language
- propositional logic
- algebraic structure
- logical rules
- belief revision
- higher order
- process algebra
- action theories
- semantic information
- term rewriting
- nonmonotonic reasoning
- natural language
- database systems
- theorem proving
- dynamic logic
- logic programming
- real numbers
- inductive logic programming
- autoepistemic logic
- logical structure
- relational databases
- knowledge base