- 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ł