An analytic proof system for common knowledge logic over S5.
Jan RooduijnLukas ZengerPublished in: AiML (2022)
Keyphrases
- domain knowledge
- modal logic
- deductive reasoning
- knowledge representation
- knowledge discovery
- expert systems
- knowledge acquisition
- knowledge based systems
- knowledge extraction
- linear time temporal logic
- case study
- intuitionistic logic
- probabilistic knowledge
- classical logic
- production rules
- knowledge sharing
- higher level