A new version of an old modal incompleteness theorem
Logic
2012-02-16 v1
Abstract
Thomason \cite{Thomason74} showed that a certain modal logic is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed that is also incomplete with respect to neighborhood semantics. In this paper we show that 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