"Everywhere" in Predicate Algebra and Modal Logic.
Rutger M. DijkstraPublished in: Inf. Process. Lett. (1996)
Keyphrases
- modal logic
- inference rules
- decision procedures
- temporal logic
- first order logic
- classical logic
- relational algebra
- query language
- horn clauses
- epistemic logic
- situation calculus
- conditional logic
- data model
- dynamic logic
- nonmonotonic logics
- prime implicates
- algebraic expressions
- default logic
- set theory
- theorem prover
- explanation based generalization
- description logic alc
- datalog programs
- knowledge representation
- expert systems
- multi agent systems