Home

Semantical investigations on some weak modal logics. Part I

Repozytorium Uniwersytetu Mikołaja Kopernika

Pokaż prosty rekord

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


Pliki:

Należy do następujących kolekcji

Pokaż prosty rekord

Attribution-NonCommercial-NoDerivs 3.0 Poland Ta pozycja jest udostępniona na licencji Attribution-NonCommercial-NoDerivs 3.0 Poland