A new version of an old modal incompleteness theorem

Vosmaer, J.

Author: J. Vosmaer
Year: 2010
Title: A new version of an old modal incompleteness theorem
Journal: Bulletin of the Section of Logic
Volume | Issue number: 39 | 3-4
Pages (from-to): 199-204
Document type: Article
Faculty: Interfacultary Research Institutes
Institute: 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.
Link: Link
Language: English
Permalink: http://hdl.handle.net/11245/1.332576

Disclaimer/Complaints regulations

If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.