### Abstract

This work is a formalization of Stalnaker's epistemic logic and its soundness and completeness theorems, as well as the equivalence between the axiomatization of S4 available in the Epistemic Logic theory and the topological one. It builds on the Epistemic Logic theory.

### License

BSD License

### Topics

- Logic/General logic/Logics of knowledge and belief

### Session Stalnaker_Logic

- Stalnaker_Logic

### Depends on

- Epistemic Logic: Completeness of Modal Logics

### Auto-related entries

- Public Announcement Logic

## Cite

×

Stalnaker_Logic-AFP

    @article{Stalnaker_Logic-AFP,
      author  = {Laura P. Gamboa Guzman},
      title   = {Stalnaker's Epistemic Logic},
      journal = {Archive of Formal Proofs},
      month   = {September},
      year    = {2022},
      note    = {\url{https://isa-afp.org/entries/Stalnaker_Logic.html},
                 Formal proof development},
      ISSN    = {2150-914x},
    }

Download

## Download

× Download latest

Older releases:

- Sep 13, 2023 : Isabelle2023
- Oct 27, 2022 : Isabelle2022
- Sep 26, 2022 : Isabelle2021-1