| dc.contributor.author | Kostrzycka, Zofia | |
| dc.date.accessioned | 2016-04-28T10:38:34Z | |
| dc.date.available | 2016-04-28T10:38:34Z | |
| dc.date.issued | 2015 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/17907 | |
| dc.description.abstract | Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames. | pl_PL |
| dc.description.sponsorship | Supported by the NCN, research grant DEC-2013/09/B/HS1/00701. | pl_PL |
| dc.language.iso | en | pl_PL |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl_PL |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;3/4 | |
| dc.title | On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames | pl_PL |
| dc.type | Article | pl_PL |
| dc.rights.holder | © Copyright by Zofia Kostrzycka, Łódź 2015; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2015 | pl_PL |
| dc.page.number | 111–130 | pl_PL |
| dc.contributor.authorAffiliation | University of Technology, ul. Luboszycka 3, 45-036 Opole, Poland. | pl_PL |
| dc.identifier.eissn | 2449-836X | |
| dc.references | Benthem J. F. A. K. van, Humberstone I. I., Halldén-completeness by Gluing of Kripke Frames, Notre Dame Journal of Formal Logic 24, No 4 (1983), pp. 426–430. | pl_PL |
| dc.references | Byrd M., Ullrich D.,The extensions of BAlt3, Journal of Philosophical Logic 6 (1977), pp. 109–117. | pl_PL |
| dc.references | Chagrov A., Zakharyaschev M., On Halldén-completeness of intermediate and modal logics, Bulletin of the Section of Logic 19:1(1990), pp. 21-23. | pl_PL |
| dc.references | Chagrov A., Zakharyaschev M., Modal Logic, Oxford Logic Guides 35 (1997). | pl_PL |
| dc.references | Halldén S., On the semantic non-completeness of certain Lewis calculi, The Journal of Symbolic Logic 16 (1951), pp. 127–129. | pl_PL |
| dc.references | Jankov V. A., Conjunctively indecomposable formulas in propositional calculi, Izv, Akad. Nauk USSR Ser. Mat. 33 (1969), pp. 18–38. | pl_PL |
| dc.references | Kostrzycka Z., On Modal Systems in the Neighbourhood of the Brouwer Logic, Acta Universitatis Wratislaviensis No 3238, Logika 25, Wydawnictwo Uniwersytetu Wrocławskiego, Wrocław (2010). | pl_PL |
| dc.references | Kostrzycka Z., On interpolation and Halldén-completeness in NEXT(KTB), Bulletin of the Section of Logic 41:1/2 (2012), pp. 23–32. | pl_PL |
| dc.references | Kostrzycka Z., Miyazaki Y., Normal modal logics determined by aligned clusters, submitted. | pl_PL |
| dc.references | Kripke S. A., Semantical analysis of modal logic I., Zeitschr. f. math. Logik und Grundlagen d. Math. 9 (1963), pp. 67–96. | pl_PL |
| dc.references | Lemmon E. J., A note on Halldén-incompleteness, Notre Dame Journal of Formal Logic, VII, No 4, (1966), pp. 296–300. | pl_PL |
| dc.references | McKinsey J. C. C., Systems of modal logics which are not unreasonable in the sense of Halldén, Journal of Symbolic Logic 18 (1953), pp. 109–113. | pl_PL |
| dc.references | Miyazaki Y., Normal modal logics containing KTB with some finiteness conditions, Advances in Modal Logic 5 (2005), pp. 171–190. | pl_PL |
| dc.references | Rautenberg W., Splitting lattices of logics, Archiv für Mathematische Logik 20 (1980), pp. 155–159. | pl_PL |
| dc.references | Schumm G. F., Some failures of interpolatin in modal logic, Notre Dame Journal of Formal Logic 27/1 (1986), pp. 108–110. | pl_PL |
| dc.contributor.authorEmail | z.kostrzycka@po.opole.pl | pl_PL |
| dc.identifier.doi | 10.18778/0138-0680.44.3.4.02 | |
| dc.relation.volume | 44 | pl_PL |
