Axiom M [L(p&q)>(Lp&Lq)]

Notes

[Chellas, 1980]

Axiom

L(p&q)>(Lp&Lq)

This axiom is part of all monotonic modal logic systems. (And therefore all classical systems.) [Chellas, 1980, p235]

Systems

Go to ...

• Axioms Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2004 by John Halleck, All Rights Reserved.

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