Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: semantyka Kripke

Sortuj według:

Ogranicz wyniki do:

Between syntax and semantics of resource oriented logic for ids behavior description

Perhac J., Mihalyi D., Novitzka V.

Journal of Applied Mathematics and Computational Mechanics

2016

Vol. 15, nr 2

105--118

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.

A certain approach to Kripke semantics for normal modal logics

Bryll G., Sochacki R.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2009

Vol. 14

13-20

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.