Abstract | ||
---|---|---|
Ideas of previous constructions are combined into a short proof of topological completeness of modal logic S4 first for rational numbers and after that for real numbers in the interval (0,1). |
Year | DOI | Venue |
---|---|---|
2006 | 10.1093/jigpal/jzk004 | Logic Journal of the IGPL |
Keywords | Field | DocType |
modal logic,topological models,completeness | Combinatorics,Computer science | Journal |
Volume | Issue | ISSN |
14 | 1 | 1367-0751 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |