Journal of Logic and Computation

Journal of Logic and Computation Advance Access published online on September 11, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp046

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Skvortsov, D. Social Bookmarking          What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains

Dmitrij Skvortsov

All-Russian Institute of Scientific and Technical Information, Molodogvardejskaja 22, korp.3, kv.29, 121351, Moscow, Russia.
E-mail: skvortsovd{at}yandex.ru

Received 31 January 2009.

The superintuitionistic predicate logics (without or with equality) of all predicate Kripke frames with nested domains over a fixed poset W (a set of possible worlds) are embeddable in the logic (without equality) of all Kripke frames with constant domains over W. Therefore, Takano's result [13] on finite axiomatizability of the logic of Kripke frames with constant domains over the set of real numbers implies the recursive axiomatizability of the corresponding logics with nested domains. Other consequences are mentioned as well.

Keywords: Superintuitionistic predicate logics; Kripke semantics; recursive axiomatizability; embeddings

References

1. Beckmann A, Preining N. Linear Kripke frames and Gödel logics. The Journal of Symbolic Logic (2007) 71:26–44.
2. Corsi G. Completeness theorem for Dummett's LC quantified and some of its extensions. Studia Logica (1992) 51:317–335.[CrossRef]
3. Gabbay DM, Kurucz A, Wolter F, Zakharyaschev M. Many-dimensional Modal Logics: Theory and Applications (2003) Elsevier.
4. Gabbay D, Shehtman V, Skvortsov D. Quantification in Nonclassical Logic (2009) 1. Elsevier. Sections 3.6, 3.8, 3.9. To appear in series Studies in Logic and the Foundations of Mathematics, v. 153.
5. Iemhoff R. A note on linear Kripke models. Journal of Logic and Computation (2005) 15:489–506.[Abstract/Free Full Text]
6. de Jongh D. The maximality of the intuitionistic predicate calculus with respect to Heyting's Arithmetic. (1969) Manuscript.
7. Shehtman V, Skvortsov D. Semantics of non-classical first order predicate logics. In: Mathematical Logic—Petkov P, ed. (1990) Plenum Press. 105–116. (Proc. of Summer school and conference in math. logic Heyting’88).
8. Skvortsov D. On intermediate predicate logics of some finite Kripke frames, I. Levelwise uniform trees. Studia Logica (2004) 77:295–323.[CrossRef]
9. Skvortsov D. On the predicate logic of linear Kripke frames and some of its extensions. Studia Logica (2005) 81:261–282.[CrossRef]
10. Skvortsov D. On axiomatizability of superintuitionistic predicate logic with equality of Kripke frames over a fixed partially ordered set. In preparation.
11. Skvortsov D. An axiomatization of the superintuitionistic predicate logic of Kripke frames with nested domains based on the set of reals. In preparation.
12. Smoryski CA. Applications of Kripke models. In: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis—Troelstra AS, ed. (1973) Springer. 324–391. Lecture Notes Math. 344.
13. Takano M. Ordered sets R and Q as bases of Kripke models. Studia Logica (1987) 46:137–148.[CrossRef]

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Skvortsov, D. Social Bookmarking          What's this?