Połacik, Tomasz Back and forth between first-order Kripke models. (English) Zbl 1158.03022 Log. J. IGPL 16, No. 4, 335-355 (2008). Reviewer: Roman Kossak (New York) MSC: 03C90 03B20 03C62 03F30 PDFBibTeX XMLCite \textit{T. Połacik}, Log. J. IGPL 16, No. 4, 335--355 (2008; Zbl 1158.03022) Full Text: DOI
Połacik, Tomasz Partially-elementary extension Kripke models: a characterization and applications. (English) Zbl 1102.03040 Log. J. IGPL 14, No. 1, 73-86 (2006). MSC: 03C90 03C62 03F30 PDFBibTeX XMLCite \textit{T. Połacik}, Log. J. IGPL 14, No. 1, 73--86 (2006; Zbl 1102.03040) Full Text: DOI
Połacik, Tomasz Kripke models of certain subtheories of Heyting arithmetics. (English) Zbl 1077.03020 van Eijck, Jan (ed.) et al., Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Natick, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-203-5/pbk; 1-56881-199-3/hbk). Lecture Notes in Logic 17, 136-142 (2004). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 03F55 03C90 PDFBibTeX XMLCite \textit{T. Połacik}, Lect. Notes Log. 17, 136--142 (2004; Zbl 1077.03020)
Połacik, Tomasz; Ruitenburg, Wim Simple axioms that are obviously true in \(\mathbb{N}\). (English) Zbl 1303.03090 Rev. Mod. Log. 9 (2001/2003), No. 1-2, 67-79 (2003). MSC: 03F30 03C05 03C62 PDFBibTeX XMLCite \textit{T. Połacik} and \textit{W. Ruitenburg}, Rev. Mod. Log. 9 (2001/2003), No. 1--2, 67--79 (2003; Zbl 1303.03090) Full Text: Euclid
Połacik, Tomasz Partially-elementary extension Kripke models and Burr’s hierarchy. (English) Zbl 0945.03087 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 4, 207-213 (1999). MSC: 03F30 03C90 03F50 03H15 03C62 PDFBibTeX XMLCite \textit{T. Połacik}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 4, 207--213 (1999; Zbl 0945.03087)