Axiom B

Notes

[Hughes and Cresswell, 1996]

Axiom

p>LMp

It is the defining axiom of the system B

Systems

B = K: L(p>q) > (Lp>Lq) + T: Lp>p + B


Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CpLMp.html
This page was last modified on November 21st, 2004.