dc.contributor.author | Kostrzycka, Zofia | |
dc.date.accessioned | 2019-04-26T14:21:43Z | |
dc.date.available | 2019-04-26T14:21:43Z | |
dc.date.issued | 2018 | |
dc.identifier.issn | 0138-0680 | |
dc.identifier.uri | http://hdl.handle.net/11089/28050 | |
dc.description.abstract | We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | en_GB |
dc.relation.ispartofseries | Bulletin of the Section of Logic; 3 | |
dc.rights | This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. | en_GB |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | en_GB |
dc.subject | symmetric Kripke frames | en_GB |
dc.subject | interpolation | en_GB |
dc.subject | amalgamation | en_GB |
dc.title | On interpolation in next (kb.alt(2)) | en_GB |
dc.type | Article | en_GB |
dc.page.number | 159-170 | |
dc.contributor.authorAffiliation | University of Technology | |
dc.identifier.eissn | 2449-836X | |
dc.references | [1] A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford Logic Guides 35, (1997). | en_GB |
dc.references | [2] J. Czelakowski, Logical matrices and the amalgamation property, Studia Logica 41 (4), (1981), pp. 329–341. | en_GB |
dc.references | [3] D. M. Gabbay, Craig’s interpolation theorem for modal logics, [in:] W. Hodges (ed.), Proceedings of logic conference, London 1970, Vol. 255 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, (1972), pp. 111–127. | en_GB |
dc.references | [4] Z. Kostrzycka, On interpolation and Halld´en-completeness in NEXT(KTB), Bulletin of the Section of Logic Vol. 41:1/2 (2012), pp. 23–32. | en_GB |
dc.references | [5] Z. Kostrzycka, Interpolation in normal extensions of the Brouwer logic, Bulletin of the Section of Logic, Vol. 45:3/4 (2016), pp. 1–15. | en_GB |
dc.references | [6] L. Maksimowa, Interpolation theorems in modal logics and amalgamated varieties of topoboolean algebras, (in Russian), Algebra i Logika, Vol. 18 (1979), pp. 556–586. | en_GB |
dc.references | [7] Y. Miyazaki, Normal modal logics containing KTB with some finiteness conditions, Advances in Modal Logic 5, pp. 171–190, DOI: 10.1007/s11225-007-9056-7. | en_GB |
dc.contributor.authorEmail | z.kostrzycka@po.opole.pl | |
dc.identifier.doi | 10.18778/0138-0680.47.3.02 | |
dc.relation.volume | 47 | en_GB |