![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| axioms.v | 28-Apr-2004 17:50 | 2.2K | |
| axioms.vo | 28-Apr-2004 17:50 | 3.1K | |
| barcan.v | 28-Apr-2004 17:50 | 1.3K | |
| classic.v | 28-Apr-2004 17:50 | 3.5K | |
| classic.vo | 28-Apr-2004 17:50 | 3.4K | |
| epistemic.pdf | 18-Feb-2004 16:13 | 122K | |
| epistemic.v | 28-Apr-2004 17:50 | 9.7K | |
| epistemic.vo | 28-Apr-2004 17:50 | 8.9K | |
| false.v | 28-Apr-2004 17:50 | 2.8K | |
| false.vo | 28-Apr-2004 17:50 | 2.6K | |
| hat.v | 28-Apr-2004 17:50 | 5.1K | |
| hat.vo | 28-Apr-2004 17:50 | 5.1K | |
| Makefile | 25-Mar-2004 06:45 | 1.0K | |
| minimal.v | 28-Apr-2004 17:50 | 4.9K | |
| minimal.vo | 28-Apr-2004 17:50 | 4.7K | |
| modal.v | 28-Apr-2004 17:50 | 4.9K | |
| modal.vo | 28-Apr-2004 17:50 | 4.2K | |
| muddy.v | 28-Apr-2004 17:50 | 4.3K | |
| muddy.vo | 28-Apr-2004 17:50 | 4.4K | |
| or_and_exist.v | 28-Apr-2004 17:50 | 4.3K | |
| or_and_exist.vo | 28-Apr-2004 17:50 | 3.3K | |
| predicates.v | 28-Apr-2004 17:50 | 3.4K | |
| predicates.vo | 28-Apr-2004 17:50 | 2.4K | |
| propositional.v | 28-Apr-2004 17:50 | 14K | |
| propositional.vo | 28-Apr-2004 17:50 | 14K | |
| README | 25-Mar-2004 07:54 | 615 | |
| sato.v | 28-Apr-2004 17:50 | 2.6K | |