{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:25:21Z","timestamp":1725531921155},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>It was left as an open problem in (Bezhanishvili and Gabelaia, 2011) whether a connected normal extension of S4 without FMP is also the modal logic of some subalgebra of R+.<\/jats:p><jats:p>Our purpose here is to solve this problem affirmatively by showing that each connected normal extension of S4 (with or without FMP) is in fact the modal logic of some subalgebra of R+. We also prove that each normal extension of S4 (with or without FMP) is the modal logic of a subalgebra of Q+, as well as the modal logic of a subalgebra of C+.<\/jats:p>","DOI":"10.29007\/zh85","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:06Z","timestamp":1516730346000},"page":"27-22","source":"Crossref","is-referenced-by-count":0,"title":["Topological completeness of extensions of S4"],"prefix":"10.29007","volume":"25","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gabelaia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Lucero-Bryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:01:10Z","timestamp":1516730470000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/Xb"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/zh85","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}