Stalnaker's Epistemic Logic

Laura P. Gamboa Guzman 🌐

September 23, 2022

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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

Session Stalnaker_Logic

Depends on

Cite

× 
@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: