Classical modal logic: Difference between revisions

Revision as of 02:38, 7 November 2008

Revision as of 03:44, 28 January 2009

Line 1:

{{refimprove|date = January 2009}}

In [[modal logic]], a '''classical modal logic''' '''L''' is any modal logic containing (as axiom or theorem)