Show simple item record

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

dc.contributor.authorPietruszczak, Andrzej
dc.date.accessioned2025-02-05T13:36:55Z
dc.date.available2025-02-05T13:36:55Z
dc.date.issued2024-06-24
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/54526
dc.description.abstractThe paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow us to obtain the determinations of the logics K45, KB4 (= KB5), KD45 and S5 without using modal rules.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;4en
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjectmodal logicen
dc.subjectt-normal logicsen
dc.subjectKripke-style semanticsen
dc.titleSome Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rulesen
dc.typeArticle
dc.page.number511-533
dc.contributor.authorAffiliationNicolaus Copernicus University in Toruń, Department of Logic, Polanden
dc.identifier.eissn2449-836X
dc.referencesB. F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge (1980), DOI: https://doi.org/10.1017/CBO9780511621192en
dc.referencesG. E. Hughes, M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London and New York (1966).en
dc.referencesE. J. Lemmon, New foundations for Lewis modal systems, The Journal of Symbolic Logic, vol. 22(2) (1957), pp. 176–186, DOI: https://doi.org/10.2307/29641792en
dc.referencesA. Pietruszczak, Simplified Kripke style semantics for modal logics K45, KB4 and KD45, Bulletin of the Section of Logic, vol. 38(3/4) (2009), pp. 163–171.en
dc.referencesA. Pietruszczak, Simplified Kripke style semantics for some very weak modal logics, Logic and Logical Philosophy, vol. 18(3–4) (2009), pp. 271–296, DOI: https://doi.org/10.12775/LLP.2009.013en
dc.referencesA. Pietruszczak, Semantical investigations on some weak modal logics. Part I, Bulletin of the Section of Logic, vol. 41(1/2) (2012), pp. 33–50.en
dc.referencesA. Pietruszczak, Semantical investigations on some weak modal logics. Part II, Bulletin of the Section of Logic, vol. 41(3/4) (2012), pp. 109–130.en
dc.referencesR. Routley, Decision procedure and semantics for C1, E1 and S0.5º, Logique et Analyse, vol. 11(44) (1968), pp. 468–471.en
dc.contributor.authorEmailAndrzej.Pietruszczak@umk.pl
dc.identifier.doi10.18778/0138-0680.2024.12
dc.relation.volume53


Files in this item

Thumbnail
Name:
511-533_Pietruszczak.pdf
Size:
1.968Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0