|
|
|
|
|
|
| Modules
|
| user module: | |||
|
| user | |||
| classical and intuitionistic propositional logic: | |||
|
| cpc | |||
|
| ipc | |||
| modal propositional logics: | |||
|
| k | |||
|
| kt | |||
|
| s4 | |||
|
| s5 | |||
|
| g | (provability logic) | ||
| multimodal propositional logics: | |||
|
| kn | |||
|
| ktn | |||
|
| s4n | |||
| temporal and tense propositional logics: | |||
|
| pltl | |||
|
| tk | |||
| linear propositional logic: | |||
|
| ll | |||
| nonmonotonic propositional logics: | |||
|
| ael | (autoepistemic logic) | ||
|
| circ | (circumscription) | ||
|
| cwa | (closed world assumption) | ||
|
| default | (default logic) | ||
|
| ||||
| 
| 
| ||
|
| lwb@iam.unibe.ch | LWB 1.1 February 22, 2002 |