Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

A certain approach to Kripke semantics for normal modal logics

Szczegóły
Abstrakt

Tytuł:: A certain approach to Kripke semantics for normal modal logics
Autorzy:: Bryll, G.
Sochacki, R.
Data publikacji:: 2009
Słowa kluczowe:: logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła Pełny tekst

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

A certain approach to Kripke semantics for normal modal logics