Classical modal logic: Difference between revisions

Revision as of 22:17, 12 July 2008

Revision as of 02:38, 7 November 2008

Line 1:

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

Line 25 ⟶ 23:

[[Category:Modal logic]]

{{logic-stub}}

[pt: Lógica modal clássica]]