On algebraic and topological semantics of the modal logic of common knowledge S4CI.
Daniyar S. ShamkanovPublished in: Log. J. IGPL (2024)
Keyphrases
- modal logic
- modal operators
- nonmonotonic logics
- conditional logic
- epistemic logic
- temporal logic
- dynamic logic
- knowledge acquisition
- inference rules
- decision procedures
- computational intelligence
- expert systems
- kripke models
- explanation based generalization
- classical logic
- default logic
- situation calculus
- knowledge based systems
- domain knowledge
- logic programming
- autoepistemic logic
- knowledge representation
- default reasoning
- formal semantics
- conceptual model
- knowledge base
- belief revision
- logic programs
- description logic alc