An Observation Concerning Porte’s Rule in Modal Logic

• Autorzy: French, Rohan , Humberstone, Lloyd

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.

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2015
• Tom: 44
• Numer: 1-2

Daty

wydano

2015

Twórcy

autor

French, Rohan

autor

Humberstone, Lloyd

other

Department of Philosophy, Monash University, Victoria 3800, Australia

Identyfikatory

URI

http://hdl.handle.net/11089/17398