There is a C axiom as mentioned at https://plato.stanford.edu/entries/logic-modal/#MapRelBetModLog in Section 8. My question is: what can be said about the formula which is the converse of the C axiom? I have been trying to find out whether the converse to C has been considered as an axiom or whether it can be formally proved in some modal axiom system.
Asked
Active
Viewed 128 times
3
-
I want to consider the converse to the C axiom in modal logics weaker than S5. – Monica Oct 04 '17 at 00:53
1 Answers
4
The converse of C,
◻◊A→◊◻A,
is known as the McKinsey formula; it does not have a first-order frame condition.
It has also been discussed on Math SE.
Bjørn Kjos-Hanssen
- 381
- 1
- 9