Common Knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics.
Luc LismontPublished in: J. Log. Lang. Inf. (1994)
Keyphrases
- modal logic
- modal operators
- nonmonotonic logics
- conditional logic
- epistemic logic
- dynamic logic
- semantic information
- temporal logic
- formal semantics
- expert systems
- autoepistemic logic
- default reasoning
- conceptual graphs
- logic programming
- current situation
- kripke models
- artificial intelligence
- inference rules
- conceptual model
- knowledge management
- domain knowledge
- nonmonotonic reasoning
- owl ontologies
- logical framework
- default theories
- belief revision
- knowledge based systems
- multi agent