1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.LO2020
Diego's Theorem for nuclear implicative semilattices
Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai +3
We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique…
math.LO2012
Topological interpretations of provability logic
Lev Beklemishev, David Gabelaia
Provability logic concerns the study of modality as provability in formal systems such as Peano arithmetic. Natural, albeit quite surprising, topological interpretation of p…
math.LO2006★ 1 cited
Modal languages for topology: expressivity and definability
Balder ten Cate, David Gabelaia, Dmitry Sustretov
In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem c…