Semantical investigations on some weak modal logics. Part I

dc.contributor.author	Pietruszczak, Andrzej
dc.date.accessioned	2024-02-16T12:41:14Z
dc.date.available	2024-02-16T12:41:14Z
dc.date.issued	2012
dc.identifier.citation	Bulletin of the Section of Logic vol. 41:(1/2), 2012, pp. 33–50
dc.identifier.issn	0138-0680
dc.identifier.uri	http://repozytorium.umk.pl/handle/item/6986
dc.description.abstract	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 second part, we shall give simplified semantics for these logics, formulated by means of some Kripke-style models. We shall also prove that the logics in question are determined by some classes of these models.
dc.description.sponsorship	Uniwersytet Mikołaja Kopernika w Toruniu
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 I
dc.type	info:eu-repo/semantics/article