Decidability, Topological Semantics and Completeness for S4
| Title: | Decidability, Topological Semantics and Completeness for S4 |
| Author: | Malerich, Christopher |
| URI: | http://hdl.handle.net/1961/10642 |
| Date: | 2012-07-31 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| Malerich, Christopher- Spring 12.pdf | 344.3Kb |
View/ |
The following license files are associated with this item:
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as By attribution only; Non-commercial uses only; No derivative works. Copyright 2012, Christopher Malerich.