Axiom F: Lp = Mp (Lemmon)

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 ...


© 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.