An intensional logic of predicates and predicate modifiers without modal operators.
James Andrew FultonPublished in: Notre Dame J. Formal Log. (1979)
Keyphrases
- modal operators
- modal logic
- temporal logic
- nonmonotonic logics
- dynamic logic
- situation calculus
- horn clauses
- partially ordered
- description logics
- monotonicity constraints
- datalog programs
- query evaluation
- inference rules
- artificial intelligence
- first order logic
- data integration
- number restrictions
- integrity constraints
- logic programming
- multi dimensional