PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 44 | 1-2 |
Tytuł artykułu

An Observation Concerning Porte’s Rule in Modal Logic

Treść / Zawartość
Warianty tytułu
Języki publikacji
Abstrakty
EN
It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ◊A, or else no consistent normal modal logic contains ◊¬A.
Słowa kluczowe
Rocznik
Tom
44
Numer
1-2
Opis fizyczny
Daty
wydano
2015
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
URI
http://hdl.handle.net/11089/17398
Identyfikator YADDA
bwmeta1.element.hdl_11089_17398
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.