Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Smile.GIF | 2014-11-26 09:42 | 120K | ||
Proof.JPG | 2014-11-26 09:42 | 69K | ||
Help.JPG | 2014-11-26 09:42 | 41K | ||
ModalLogics.GIF | 2014-11-26 09:42 | 30K | ||
Equivalence.GIF | 2014-11-26 09:42 | 27K | ||
Diamond.GIF | 2014-11-26 09:42 | 17K | ||
TSO.GIF | 2014-11-26 09:42 | 10K | ||
ClingWrap.GIF | 2014-11-26 09:42 | 8.6K | ||
PCBased.html | 2014-11-26 09:42 | 1.7K | ||
TPTPModalSystems.html | 2014-11-26 09:42 | 1.4K | ||
S5=S1-0M6S3M9B-S5=KM..> | 2014-11-26 09:42 | 1.3K | ||
S1-0Based.html | 2014-11-26 09:42 | 1.3K | ||
Conclusion.html | 2014-11-26 09:42 | 1.1K | ||
Contents.html | 2014-11-26 09:42 | 1.1K | ||
Abstract.html | 2014-11-26 09:42 | 1.1K | ||
S5=KM4B-S5=KM5.html | 2014-11-26 09:42 | 1.1K | ||
FOLEncoding.html | 2014-11-26 09:42 | 1.0K | ||
DoWhat.html | 2014-11-26 09:42 | 1.0K | ||
PoEiML.html | 2014-11-26 09:42 | 946 | ||
ModalSystems.html | 2014-11-26 09:42 | 922 | ||
TPTPEncoding.html | 2014-11-26 09:42 | 913 | ||
ModalSyntax.html | 2014-11-26 09:42 | 909 | ||
Equivalence.html | 2014-11-26 09:42 | 607 | ||
ModalLogicsGIF.html | 2014-11-26 09:42 | 293 | ||
TPTPFiles/ | 2019-08-30 11:48 | - | ||