English

A new version of an old modal incompleteness theorem

Logic 2012-02-16 v1

Abstract

Thomason \cite{Thomason74} showed that a certain modal logic LS4\mathbf{L}\subset \mathbf{S4} is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed that L\mathbf{L} is also incomplete with respect to neighborhood semantics. In this paper we show that L\mathbf{L} is in fact incomplete with respect to any class of complete Boolean algebras with operators, i.e. that it is completely incomplete.

Cite

@article{arxiv.1202.3268,
  title  = {A new version of an old modal incompleteness theorem},
  author = {Jacob Vosmaer},
  journal= {arXiv preprint arXiv:1202.3268},
  year   = {2012}
}

Comments

4 pages

R2 v1 2026-06-21T20:19:41.438Z