Content deleted Content added
m Date the maintenance tags or general fixes, Replaced: date={{subst:CURRENTMONTHNAME}} {{subst:CURRENTYEAR}} → date=January 2008 |
the terminology is standard and other sources are popular, though i expect one needn't list them all. it is originally taken from Segerberg's classical dissertation. |
||
Line 1:
In [[modal logic]], a '''classical modal logic''' '''L''' is any modal logic containing (as axiom or theorem)
| |||