Przeglądaj Bulletin of the Section of Logic według autora "French, Rohan"
-
An Observation Concerning Porte’s Rule in Modal Logic
French, Rohan; Humberstone, Lloyd (Wydawnictwo Uniwersytetu Łódzkiego, 2015)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 ...