A new version of an old modal incompleteness theorem
| Authors |
|
| Publication date |
2010
|
| Journal |
Bulletin of the Section of Logic
|
| Volume | Issue number |
39 | 3-4
|
| Pages (from-to) |
199-204
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
Thomason [5] showed that a certain modal logic L⊂ S4 is incomplete with respect to Kripke semantics. Later Gerson [3] showed that L is also incomplete with respect to neighborhood semantics. In this paper we show that L is in fact incomplete with respect to any class of complete Boolean algebras with operators, i.e. that it is completely incomplete.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
|
|
Permalink to this page
|
Back