Epistemic Logic: Completeness of Modal Logics

Asta Halkjær From

Epistemic Logic: Completeness of Modal Logics

Asta Halkjær From

Department of Applied Mathematics and Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

58 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 language	English
Book series	Archive of Formal Proofs
Volume	2021
Number of pages	16
ISSN	2150-914X
Publication status	Published - 2021

Access to Document

FulltextFinal published version, 163 KB

OpenUrl availability

Full text

Cite this

@article{b545286ca881490c8a8bafa8e701a9be,

title = "Epistemic Logic: Completeness of Modal Logics",

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).",

author = "From, {Asta Halkj{\ae}r}",

year = "2021",

language = "English",

volume = "2021",

journal = "Archive of Formal Proofs",

issn = "2150-914X",

publisher = "SourceForge",

}

TY - JOUR

T1 - Epistemic Logic: Completeness of Modal Logics

AU - From, Asta Halkjær

PY - 2021

Y1 - 2021

N2 - 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).

AB - 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).

UR - https://www.isa-afp.org/entries/Epistemic_Logic.html

M3 - Journal article

SN - 2150-914X

VL - 2021

JO - Archive of Formal Proofs

JF - Archive of Formal Proofs

ER -

Epistemic Logic: Completeness of Modal Logics

Abstract

Access to Document

OpenUrl availability

Other files and links

Fingerprint

Cite this