Epistemic Logic: Completeness of Modal Logics

Research output: Contribution to journalJournal articleResearchpeer-review

5 Downloads (Pure)

Abstract

This work is a formalization of epistemic logic with countably many agents. 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).
Original languageEnglish
Book seriesArchive of Formal Proofs
Volume2021
Number of pages16
ISSN2150-914X
Publication statusPublished - 2021

Fingerprint

Dive into the research topics of 'Epistemic Logic: Completeness of Modal Logics'. Together they form a unique fingerprint.

Cite this