Axiom F: Lp = Mp (Lemmon)

• [Lemmon, 1977]

Notes

Frame Relationship: (∀ u, t, t')(uRt & uRt' > (t = t')) [Lemmon, 1977, p60]

Systems

System = System K + Axiom F: Lp = Mp [Lemmon, 1977, p60]

Go to ...

• Logic Systems Page
• Logic Structures Page
• Logic Page
• John Halleck's Home Page

© Copyright 2005 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/ELpMp.html
This page was last modified on November 9th, 2005.