Temat: modal logic - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: A certain approach to Kripke semantics for normal modal logics
Autorzy:: Bryll, G.
Sochacki, R.
Powiązania:: https://bibliotekanauki.pl/articles/121860.pdf
Data publikacji:: 2009
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Opis:: In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
Źródło:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
2450-9302
Pojawia się w:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: All splitting logics in the lattice NEXT(KTB:30A)
Autorzy:: Kostrzycka, Z.
Powiązania:: https://bibliotekanauki.pl/articles/121995.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: logika modalna
ramka Kripkego
klastry rozłączne
modal logic
Kripke’s frome
disjoint clusters
Opis:: We examine a special modal logic which is a normal extension of the Brouwer modal logic. It is determined by linearly ordered chains of clusters and the relation between clusters is reflexive and symmetric. The appropriate axiomatization of this logic is proposed in the papers [11] and [12]. There is also proved that all normal extensions of the investigated logic are Kripke complete and have f.m.p. Unfortunately, the cardinality of this family is continuum [13]. One may imagine that the structure of the lattice of these extensions is immensely complex. Then we use the technics of splitting to characterize this lattice and to describe some quite simple fragments. We characterize all the logics that split the lattice.
Źródło:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 31-61
2450-9302
Pojawia się w:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja