{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:06:20Z","timestamp":1648692380410},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,5,12]],"date-time":"2014-05-12T00:00:00Z","timestamp":1399852800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2014,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. The main result of the current paper is that QS4 is complete, indeed strongly complete, for the rational line.<\/jats:p>","DOI":"10.1017\/s1755020314000021","type":"journal-article","created":{"date-parts":[[2014,5,12]],"date-time":"2014-05-12T13:36:30Z","timestamp":1399901790000},"page":"439-454","source":"Crossref","is-referenced-by-count":5,"title":["QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE"],"prefix":"10.1017","volume":"7","author":[{"given":"PHILIP","family":"KREMER","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,5,12]]},"reference":[{"key":"S1755020314000021_ref2","doi-asserted-by":"publisher","DOI":"10.1090\/mmono\/067"},{"key":"S1755020314000021_ref5","volume-title":"Quantification in nonclassical logic","volume":"1","author":"Gabbay","year":"2009"},{"key":"S1755020314000021_ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2267105"},{"key":"S1755020314000021_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-9013-x"},{"key":"S1755020314000021_ref12","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"S1755020314000021_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370321"},{"key":"S1755020314000021_ref13","volume-title":"Counterexamples in Topology","author":"Steen","year":"1970"},{"key":"S1755020314000021_ref3","volume-title":"Topology","author":"Dugundji","year":"1966"},{"key":"S1755020314000021_ref4","volume-title":"General Topology","author":"Engelking","year":"1989"},{"key":"S1755020314000021_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080143"},{"key":"S1755020314000021_ref8","unstructured":"Kishida K . (2006). Topological Semantics for First-Order Modal Logic. MSc Thesis, Carnegie-Mellon University."},{"key":"S1755020314000021_ref7","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"S1755020314000021_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000087"},{"key":"S1755020314000021_ref11","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T01:08:33Z","timestamp":1555895313000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000021\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,12]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["S1755020314000021"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000021","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,12]]}}}