Czasopismo
Tytuł artykułu
Autorzy
Treść / Zawartość
Pełne teksty:
Warianty tytułu
Języki publikacji
Abstrakty
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
Czasopismo
Rocznik
Tom
Numer
Opis fizyczny
Daty
wydano
2015
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
URI
http://hdl.handle.net/11089/17398
Identyfikator YADDA
bwmeta1.element.hdl_11089_17398