| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661791 | Annals of Pure and Applied Logic | 2013 | 23 Pages |
Abstract
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Lev Beklemishev, David Gabelaia,