Epistemic Logic (Q5973201)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Epistemic_Logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Epistemic Logic |
AFP entry Epistemic_Logic |
Statements
Asta Halkjær From
0 references
This work is a formalization of epistemic logic. It includes proofs of soundness and completeness for the axiom system K. The completeness proof is based on the textbook "Reasoning About Knowledge" by Fagin, Halpern, Moses and Vardi (MIT Press 1995). The extensions of system K (T, KB, K4, S4, S5) and their completeness proofs are based on the textbook "Modal Logic" by Blackburn, de Rijke and Venema (Cambridge University Press 2001). Papers: doi.org/10.1007/978-3-030-88853-4_1 , doi.org/10.1007/978-3-030-90138-7_2 .
0 references
29 October 2018
0 references
Epistemic Logic: Completeness of Modal Logics (English)
0 references
