Commit 9659136e authored by Asta H. From's avatar Asta H. From
Browse files

Add completeness of modal logics T, KB, K4, S4 and S5

parent 8f1f310afd72
......@@ -3988,7 +3988,7 @@ extra-history =
notify = berghofe@in.tum.de
 
[Epistemic_Logic]
title = Epistemic Logic
title = Epistemic Logic: Completeness of Modal Logics
author = Asta Halkjær From <https://people.compute.dtu.dk/ahfrom/>
topic = Logic/General logic/Logics of knowledge and belief
date = 2018-10-29
......@@ -3999,6 +3999,12 @@ abstract =
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).
extra-history =
Change history:
[2020-04-15]: Added completeness of modal logics T, KB, K4, S4 and S5.
 
[SequentInvertibility]
title = Invertibility in Sequent Calculi
......
This diff is collapsed.
......@@ -5,4 +5,20 @@
year = {1995},
isbn = {0262061627},
author = {Fagin, R. and Halpern, J.Y. and Moses, Y. and Vardi, M.Y.}
}
\ No newline at end of file
}
@book{blackburn2001,
author = {Patrick Blackburn and
Maarten de Rijke and
Yde Venema},
title = {Modal Logic},
series = {Cambridge Tracts in Theoretical Computer Science},
volume = {53},
publisher = {Cambridge University Press},
year = {2001},
url = {https://doi.org/10.1017/CBO9781107050884},
doi = {10.1017/CBO9781107050884},
isbn = {978-1-10705088-4}
}
\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{isabelle,isabellesym}
\usepackage{amssymb}
......@@ -16,15 +16,18 @@
\begin{document}
\title{Epistemic Logic}
\title{Epistemic Logic: Completeness of Modal Logics}
\author{Asta Halkjær From}
\maketitle
\begin{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''
The completeness proof is based on the textbook "Reasoning About Knowledge"
by Fagin, Halpern, Moses and Vardi (MIT Press 1995)~\cite{fagin1995}.
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)~\cite{blackburn2001}.
\end{abstract}
\tableofcontents
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment