Content deleted Content added
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. |
this is a stub; it's missing a lot of introductory material |
||
Line 1:
{{stub}}
In [[modal logic]], a '''classical modal logic''' '''L''' is any modal logic containing (as axiom or theorem)
| |||