Validity and Satisfaction in Imperative Logic.
Krister SegerbergPublished in: Notre Dame J. Formal Log. (1990)
Keyphrases
- modal logic
- classical logic
- logic programming
- user satisfaction
- asynchronous circuits
- automated reasoning
- genetic algorithm
- predicate logic
- database
- probability theory
- user information satisfaction
- epistemic logic
- nonmonotonic logics
- set theory
- probabilistic logic
- database systems
- decision making
- artificial intelligence
- neural network