Pokaż uproszczony rekord

dc.contributor.authorKostrzycka, Zofia
dc.date.accessioned2019-04-26T14:21:43Z
dc.date.available2019-04-26T14:21:43Z
dc.date.issued2018
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/28050
dc.description.abstractWe prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.en_GB
dc.language.isoenen_GB
dc.publisherWydawnictwo Uniwersytetu Łódzkiegoen_GB
dc.relation.ispartofseriesBulletin of the Section of Logic; 3
dc.rightsThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.en_GB
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0en_GB
dc.subjectsymmetric Kripke framesen_GB
dc.subjectinterpolationen_GB
dc.subjectamalgamationen_GB
dc.titleOn interpolation in next (kb.alt(2))en_GB
dc.typeArticleen_GB
dc.page.number159-170
dc.contributor.authorAffiliationUniversity of Technology
dc.identifier.eissn2449-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.authorEmailz.kostrzycka@po.opole.pl
dc.identifier.doi10.18778/0138-0680.47.3.02
dc.relation.volume47en_GB


Pliki tej pozycji

Thumbnail

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.