3 citations to 10.1007/978-3-642-22303-7_1 (Crossref Cited-By Service)
  1. Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62, no. 5-6, 2023, 751  crossref
  2. David Fernández-Duque, “The polytopologies of transfinite provability logic”, Arch. Math. Logic, 53, no. 3-4, 2014, 385  crossref
  3. Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257  crossref