Concept
Epistemic modal logic
Overview
subfield of modal logic that is concerned with reasoning about knowledge
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Avicenna
- Artificial intelligence
- Game theory
- Georg Henrik von Wright
- Philosophy
- Intension
- Knowledge representation and reasoning
- Logical equivalence
- Jaakko Hintikka
- Modus ponens
- Reflexive relation
- Validity (logic)
- Linguistics
- Domain of discourse
- Knowledge
- Rule of inference
- Medieval philosophy
- Set theory
- Event (philosophy)
- Philosophical logic
- Timothy Williamson
- Aristotle
- Theoretical computer science
- Modal logic
Place in the tradition
Part of Outline of philosophy.
Narrower topics:
- Conditional proof
- Equivalence relation
- Event (philosophy)
- Game theory
- Identity of indiscernibles
- Intension
- Reflexive relation
- Robert Stalnaker
- Theoretical computer science
- Validity (logic)
- Goldbach's conjecture
- P versus NP problem
- Johan van Benthem (logician)
- Multi-agent system
- Masked-man fallacy
- Dynamic epistemic logic