Skip to main content
Article thumbnail
Location of Repository

On topological models of GLP

By L.D. Beklemishev, Guram Bezhanishvili and Thomas Icard


We develop topological semantics of a polymodal provability logic GLP. Our main result states that the bimodal fragment of GLP, although incomplete with respect to relational semantics, is topologically complete. The topological (in)completeness of GLP remains an interesting open problem

Topics: Wijsbegeerte
Year: 2009
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.