An Approximation Semantics for the Propositional Mu-Calculus.
Roger VillemairePublished in: MFCS (2002)
Keyphrases
- model theoretic
- algebraic structure
- propositional logic
- proof procedure
- autoepistemic logic
- formal language
- database query languages
- formal semantics
- sound and complete axiomatization
- disjunctive logic programming
- predicate calculus
- error bounds
- logic programs
- nonmonotonic logics
- logic programming
- approximation error
- approximation algorithms
- strong equivalence
- semantic information
- default logic
- reasoning tasks
- computational properties
- operational semantics
- relational calculus
- conceptual model
- process algebra
- first order logic
- truth maintenance systems
- description logics
- argumentation semantics
- minimal models
- integrity constraints
- nonmonotonic reasoning
- conditional logic
- development environment
- possibilistic logic
- stable models