Classical modal logic: Difference between revisions

Revision as of 22:12, 23 May 2008

Revision as of 22:12, 23 May 2008

Line 1:

{{science-stub}}

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

Line 24:

[[Category:Logic]]

[[Category:Modal logic]]

{{science-stub}}