|
Epistemic logic - Wikipedia, the free encyclopedia (423 words) |
 | Epistemic logic is a subfield of modal logic that is concerned with reasoning about knowledge. |
| The basic modal operator of epistemic logic, usually written K, can be read as it is known that, it is epistemically necessary that, or it is inconsistent with what is known that not. |
| Epistemic logic has been combined recently with some ideas from dynamic logic to create public announcement logic and product update logic, which attempt to model the epistemic subtleties of conversations. |
Feeds |
Contact