Semantical investigations on some weak modal logics. Part II
| 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.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. | pl |
| dc.identifier.citation | Bulletin of the Section of Logic vol. 41:(3/4), 2012, pp. 109–130 | pl |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://repozytorium.umk.pl/handle/item/6987 | |
| dc.language.iso | eng | pl |
| dc.publisher | Lodz University Press | pl |
| 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 | pl |
| dc.subject | simplified Kripke-style semantics | pl |
| dc.title | Semantical investigations on some weak modal logics. Part II | pl |
| dc.type | info:eu-repo/semantics/article | pl |