# Relationships between the axiomatic systems of modal propositional logic

I made a diagram of this, based on Sider’s Logic for philosophy. An orange arrow from sytems S to system S’ means anything that is provable (and hence valid) in S is provable (and valid) in S’. I don’t add lables to the orange arrows since their meanings are clear. A green arrow from axiom schema to another says that the second schema is provable from the first in a particular system which I label.

December 26, 2017
Read more:

Feedback? You're very welcome to get in touch. Broken link? Click here to replace all links to external webpages with links to the web archive.