The Semantics of Modal Predicate Logic I. Counterpart-Frames.
Marcus KrachtOliver KutzPublished in: Advances in Modal Logic (2000)
Keyphrases
- predicate logic
- highly expressive
- predicate calculus
- knowledge representation language
- fluent calculus
- temporal logic
- knowledge representation and reasoning
- nonmonotonic logics
- logical formulas
- formal logic
- semantic network
- computational linguistics
- modal logic
- modal operators
- semantic net
- logic programming
- lower level
- video frames
- knowledge base
- information retrieval
- description logics
- artificial intelligence