|
|||||
|
|
S4 is Topologically Complete for (0,1): a Short Proof |
|
| Authors: | Mints Grigori |
| Affiliation: | 1 Department of Philosophy, Stanford University, USA. E-mail: mints{at}csli.stanford.edu |
| Abstract: | |
| Keywords: | modal logic topological models completeness |
| 本文献已被 Oxford 等数据库收录！ | |