Semantical investigations on some weak modal logics. Part II

Repository of Nicolaus Copernicus University

Show simple item record

dc.contributor.author Pietruszczak, Andrzej
dc.date.accessioned 2024-02-16T12:42:28Z
dc.date.available 2024-02-16T12:42:28Z
dc.date.issued 2012
dc.identifier.citation Bulletin of the Section of Logic vol. 41:(3/4), 2012, pp. 109–130
dc.identifier.issn 0138-0680
dc.identifier.uri http://repozytorium.umk.pl/handle/item/6987
dc.description.sponsorship In this paper, we examine weak logics similar to S0.5[\Box Φ], where Φ ⊆ S0.5. We also examine their versions (one of which is S0.5rte[\Box Φ]) that are closed under the replacement of tautological equivalents (rte). We have that: S0.5rte[\Box(K), \Box(T)]⊆ S0.9, S0.5rte[\Box(X), \Box(T)] S0.5rte[\Box(K), \Box(T)]⊆ S1, and in general, if Φ ⊆ E1, then S0.5rte[\Box Φ] ⊆ S2. In the present part, we give simplified semantics for these logics, formulated by means of some Kripke-style models. We prove that the logics in question are determined by some classes of these models.
dc.language.iso eng
dc.publisher Lodz University Press
dc.rights Attribution-NonCommercial-NoDerivs 3.0 Poland
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/pl/
dc.subject very weak modal logics
dc.subject simplified Kripke-style semantics
dc.title Semantical investigations on some weak modal logics. Part II
dc.type info:eu-repo/semantics/article

Files in this item

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Poland Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 Poland

Search repository

Advanced Search


My Account