Formalized Soundness and Completeness of Epistemic Logic

In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 1-15 (2021)
  Copy   BIBTEX

Abstract

We strengthen the foundations of epistemic logic by formalizing the family of normal modal logics in the proof assistant Isabelle/HOL. We define an abstract canonical model and prove a truth lemma for any logic in the family. We then instantiate it with logics based on various epistemic principles to obtain completeness results for systems from K to S5. Our work gives a disciplined treatment of completeness-via-canonicity arguments and demonstrates their compositionality.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-030-88853-4_1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic.Sébastien Magnier & Tiago De Lima - unknown
Epistemic logic, skepticism, and non-normal modal logic.P. K. Schotch & R. E. Jennings - 1981 - Philosophical Studies 40 (1):47 - 67.
A logic lu for understanding.Xiaowu Li & Xiangyang Guo - 2010 - Frontiers of Philosophy in China 5 (1):142-153.
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.Wesley H. Holliday - 2015 - Journal of Philosophical Logic 44 (1):1-62.
The Ontological Innocence of Schematic Logic.Oliver William Tatton-Brown - forthcoming - Logic and Logical Philosophy:1.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Fusion of sequent modal logic systems labelled with truth values.João Rasga, Karina Roggia & Cristina Sernadas - 2010 - Logic Journal of the IGPL 18 (6):893-920.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
Modal logic: Acompleteness met up again.Patrice Bailhache - 1997 - Logica Trianguli 1:3-14.
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic.Minghui Ma, Alessandra Palmigiano & Mehrnoosh Sadrzadeh - 2014 - Annals of Pure and Applied Logic 165 (4):963-995.
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).

Analytics

Added to PP
2022-03-10

Downloads
10 (#1,168,820)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references