- Author
- Year
- 2008
- Title
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics
- Subtitle
- The boundaries of the finite model property
- Journal
- Logic and Logical Philosophy
- Volume | Issue number
- 17 | 1-2
- Pages (from-to)
- 73-110
- Document type
- Article
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Abstract
-
We give a systematic method of constructing extensions of the Kuznetsov- Gerciu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerciu's result that all extensions of the Rieger-Nishimura logic RN have the fmp. Moreover, we show that each extension of RN has the poly-size model property, thus improving on [Gerciu]. Furthermore, for each function f:\omega->\omega, we construct an extension Lf of KG such that Lf has the fmp, but does not have the f-size model property. We also give a new simple proof of another result of Gerciu characterizing the only extension of KG that bounds the fmp for extensions of KG. We conclude the paper by proving that RN.KC = RN + (¬p v ¬¬p) is the only pre-locally tabular extension of KG, introduce the internal depth of an extension L of RN, and show that L is locally tabular if and only if the internal depth of L is finite.
- URL
- go to publisher's site
- Link
- Accepted author manuscript
- Language
- English
- Note
- In special issue: To the memory of Alexander Vladimirovich Kuznetsov (1926-1984).
- Persistent Identifier
- https://hdl.handle.net/11245/1.300737
- Downloads
-
rafalgruszczynski,+6-1712(Final published version)
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.