Temat: Kripke’s semantics - 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ł:: Between syntax and semantics of resource oriented logic for ids behavior description
Autorzy:: Perhac, J.
Mihalyi, D.
Novitzka, V.
Powiązania:: https://bibliotekanauki.pl/articles/122478.pdf
Data publikacji:: 2016
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: intrusion detection system
linear logic
Kripke’s semantics
ludics
bezpieczeństwo sieci
system wykrywania włamań
logika liniowa
semantyka Kripke
Opis:: Linear logic appears as a suitable logical system for description of dynamic properties of various network activities in computer science. It disposes with new connectives which create new opportunities to describe properties of real network processes, e.g. parallelism, causality and commutativity of duality between processes. We extend this logic with Aristotelian modalities and we formulate their appropriate model. In our contribution we show how a real network attack can be formalized in this logical system as a polarized game.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 105-118
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja