{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T19:40:24Z","timestamp":1714419624766},"reference-count":25,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1716748","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T23:30:27Z","timestamp":1348529427000},"source":"Crossref","is-referenced-by-count":5,"title":["More on d-Logics of Subspaces of the Rational Numbers"],"prefix":"10.1215","volume":"53","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"Joel","family":"Lucero-Bryan","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Abashidze, M. A., \u201cSome properties of Magari algebras\u201d (in Russian), pp. 111\u2013127 in <i>Studies in Logic and Semantics, \u201c<\/i>Metsniereba,<i>\u201d<\/i> Tbilisi, 1981."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Beklemishev, L., G. Bezhanishvili, and T. Icard, \u201cOn topological models of <b>GLP<\/b>,\u201d pp. 135\u2013155 in <i>Ways of Proof Theory<\/i>, essays in honor of Wolfram P\u00f6hlers, edited by R. Schindler, vol. 2 of <i>Ontos Mathematical Logic<\/i>, Ontos, Heusenstamm, 2010.","DOI":"10.1515\/9783110324907.135"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] van Benthem, J., and G. Bezhanishvili, \u201cModal logics of space,\u201d pp. 217\u2013298 in <i>Handbook of Spatial Logics<\/i>, Springer, Dordrecht, 2007.","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Bezhanishvili, G., L. Esakia, and D. Gabelaia, \u201cSome results on modal axiomatization and definability for topological spaces,\u201d <i>Studia Logica<\/i>, vol. 81 (2005), pp. 325\u2013355.","DOI":"10.1007\/s11225-005-4648-6"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Bezhanishvili, G., L. Esakia, and D. Gabelaia, \u201cThe modal logic of Stone spaces: Diamond as derivative,\u201d <i>Review of Symbolic Logic<\/i>, vol. 3 (2010), pp. 26\u201340.","DOI":"10.1017\/S1755020309990335"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Bezhanishvili, G., L. Esakia, and D. Gabelaia, \u201cSpectral and ${T}_{0}$-spaces in d-semantics,\u201d pp. 16\u201329 in <i>Logic, Language, and Computation<\/i>, edited by N. Bezhanishvili, S. L\u00f6bner, K. Schwabe, and L. Spada, vol. 6618 of <i>Lecture Notes in Computer Science<\/i>, Springer, Heidelberg, 2011.","DOI":"10.1007\/978-3-642-22303-7_2"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Bezhanishvili, G., S. Ghilardi, and M. Jibladze, \u201cAn algebraic approach to subframe logics: Modal case,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 52 (2011), pp. 187\u2013202.","DOI":"10.1215\/00294527-1306190"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Bezhanishvili, G., and J. Lucero-Bryan, \u201cSubspaces of $\\mathbb{Q}$ whose d-logics do not have the FMP,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 51 (2012), pp. 661\u2013670.","DOI":"10.1007\/s00153-012-0290-y"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Bezhanishvili, G., R. Mines, and P. J. Morandi, \u201cScattered, Hausdorff-reducible, and hereditarily irresolvable spaces,\u201d <i>Topology and Its Applications<\/i>, vol. 132 (2003), pp. 291\u2013306.","DOI":"10.1016\/S0166-8641(03)00039-7"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Bezhanishvili, G., and P. J. Morandi, \u201cScattered and hereditarily irresolvable spaces in modal logic,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 49 (2010), pp. 343\u2013365.","DOI":"10.1007\/s00153-010-0175-x"},{"key":"11","unstructured":"[11] Blackburn, P., M. de Rijke, and Y. Venema, <i>Modal Logic<\/i>, vol. 53 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2001."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, Clarendon Press, Oxford University Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"13","unstructured":"[13] Engelking, R., <i>General Topology<\/i>, 2nd edition, vol. 6 of <i>Sigma Series in Pure Mathematics<\/i>, Heldermann Verlag, Berlin, 1989."},{"key":"14","unstructured":"[14] Esakia, L., \u201cDiagonal constructions, the L\u00f6b formula and rarefied Cantor spaces\u201d (in Russian), pp. 128\u2013143 in <i>Studies in Logic and Semantics<\/i>, \u201cMetsniereba,\u201d Tbilisi, 1981."},{"key":"15","unstructured":"[15] Esakia, L., \u201cWeak transitivity\u2014a restitution\u201d (in Russian), pp. 244\u2013255 in <i>Logical Investigations, No. 8<\/i>, \u201cNauka,\u201d Moscow, 2001."},{"key":"16","unstructured":"[16] Esakia, L., \u201cA modal version of G\u00f6del\u2019s second incompleteness theorem, and the McKinsey system\u201d (in Russian), pp. 292\u2013300 in <i>Logical Investigations, No. 9<\/i>, \u201cNauka,\u201d Moscow, 2002."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Gabbay, D. M., \u201cTense systems with discrete moments of time. I,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 1 (1972), pp. 35\u201344.","DOI":"10.1007\/BF00649989"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Gabbay, D. M., and V. B. Shehtman, \u201cProducts of modal logics, I,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 6 (1998), pp. 73\u2013146.","DOI":"10.1093\/jigpal\/6.1.73"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Gencer, \u00c7., and D. De Jongh, \u201cUnifiability in extensions of K4,\u201d <i>Logical Journal of the IGPL<\/i>, vol. 17 (2009), pp. 159\u2013172.","DOI":"10.1093\/jigpal\/jzn032"},{"key":"20","unstructured":"[20] Kuratowski, K., and A. Mostowski, <i>Set Theory<\/i>, 2nd revised edition, vol. 86 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1976."},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Lucero-Bryan, J., \u201cThe d-logic of the rational numbers: A fruitful construction,\u201d <i>Studia Logica<\/i>, vol. 97 (2011), pp. 265\u2013295.","DOI":"10.1007\/s11225-011-9305-7"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] McKinsey, J. C. C., and A. Tarski, \u201cThe algebra of topology,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 45 (1944), pp. 141\u2013191.","DOI":"10.2307\/1969080"},{"key":"23","unstructured":"[23] Shehtman, V., <i>Derived sets in Euclidean spaces and modal logic<\/i>, preprint X-90-05, University of Amsterdam, 1990."},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Wolter, F., \u201cThe structure of lattices of subframe logics,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 86 (1997), pp. 47\u2013100.","DOI":"10.1016\/S0168-0072(96)00049-8"},{"key":"25","unstructured":"[25] Wolter, F., <i>Lattices of modal logics<\/i>, Ph.D. thesis, Free University of Berlin, Berlin, 1993."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1716748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T19:11:55Z","timestamp":1714417915000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-3\/More-on-d-Logics-of-Subspaces-of-the-Rational-Numbers\/10.1215\/00294527-1716748.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":25,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1716748","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}