{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:19:18Z","timestamp":1772450358631,"version":"3.50.1"},"reference-count":22,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2011,4,1]]},"DOI":"10.1215\/00294527-1306190","type":"journal-article","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T13:02:18Z","timestamp":1303995738000},"source":"Crossref","is-referenced-by-count":20,"title":["An Algebraic Approach to Subframe Logics. Modal Case"],"prefix":"10.1215","volume":"52","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"Silvio","family":"Ghilardi","sequence":"additional","affiliation":[]},{"given":"Mamuka","family":"Jibladze","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Aull, C. E., and W. J. Thron, \"Separation axioms between $T_{0}$\" and $T_{1}$, <i>Nederl. Akad. Wetensch. Proc. Ser. A 65 = Indag. Math.<\/i>, vol. 24 (1962), pp. 26\u201337.","DOI":"10.1016\/S1385-7258(62)50003-6"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Bezhanishvili, G., and S. Ghilardi, \"An algebraic approach to subframe logics. Intuitionistic case\", <i>Annals of Pure and Applied Logic<\/i>, vol. 147 (2007), pp. 84\u2013100.","DOI":"10.1016\/j.apal.2007.04.001"},{"key":"4","unstructured":"[4] 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":"5","doi-asserted-by":"crossref","unstructured":"[5] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"6","unstructured":"[6] Engelking, R., <i>General Topology<\/i>, 2d edition, vol. 6 of <i>Sigma Series in Pure Mathematics<\/i>, Heldermann Verlag, Berlin, 1989."},{"key":"7","unstructured":"[7] Esakia, L. L., \"Topological Kripke models\", <i>Doklady Akademii Nauk SSSR<\/i>, vol. 15 (1974), pp. 147\u201351."},{"key":"8","unstructured":"[8] Esakia, L. L., <i>Heyting Algebras I. Duality Theory<\/i>, Metsniereba, Tbilisi, 1985."},{"key":"9","unstructured":"[9] Esakia, L. L., \"Weak transitivity-A restitution\", pp. 244\u2013255 in <i>Logical Investigations, No. 8 (Russian) (Moscow, 2001)<\/i>, Nauka, Moscow, 2001."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Fine, K., \"Logics containing $K4$\". I, <i>The Journal of Symbolic Logic<\/i>, vol. 39 (1974), pp. 31\u201342.","DOI":"10.2307\/2272340"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Fine, K., \"Logics containing ${\\rm K}4$\". II, <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 619\u201351.","DOI":"10.2307\/2274318"},{"key":"12","unstructured":"[12] Kracht, M., <i>Tools and Techniques in Modal Logic<\/i>, vol. 142 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1999."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] McKinsey, J. C. C., and A. Tarski, \"The algebra of topology\", <i>Annals of Mathematics. Second Series<\/i>, vol. 45 (1944), pp. 141\u201391.","DOI":"10.2307\/1969080"},{"key":"14","unstructured":"[14] Rasiowa, H., and R. Sikorski, <i>The Mathematics of Metamathematics<\/i>, Monografie Matematyczne, Tom 41. Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963."},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Sambin, G., and V. Vaccaro, \"Topology and duality in modal logic\", <i>Annals of Pure and Applied Logic<\/i>, vol. 37 (1988), pp. 249\u201396.","DOI":"10.1016\/0168-0072(88)90021-8"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Venema, Y., \"Algebras and coalgebras\", pp. 331\u2013426 in <i>Handbook of Modal Logic<\/i>, edited by P. Blackburn, J. van Benthem, and F. Wolter, vol. 3 of <i>Studies in Logic and Practical Reasoning<\/i>, Elsevier, Amsterdam, 2007.","DOI":"10.1016\/S1570-2464(07)80009-7"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Wolter, F., \"The finite model property in tense logic\", <i>The Journal of Symbolic Logic<\/i>, vol. 60 (1995), pp. 757\u201374.","DOI":"10.2307\/2275755"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Wolter, F., \"Completeness and decidability of tense logics closely related to logics above ${\\rm K}4$\", <i>The Journal of Symbolic Logic<\/i>, vol. 62 (1997), pp. 131\u201358.","DOI":"10.2307\/2275736"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Wolter, F., \"The structure of lattices of subframe logics\", <i>Annals of Pure and Applied Logic<\/i>, vol. 86 (1997), pp. 47\u2013100.","DOI":"10.1016\/S0168-0072(96)00049-8"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Zakharyaschev, M., \"Canonical formulas for ${\\rm K}4$\". II. Cofinal subframe logics, <i>The Journal of Symbolic Logic<\/i>, vol. 61 (1996), pp. 421\u201349.","DOI":"10.2307\/2275669"},{"key":"22","unstructured":"[22] Zakharyashchev, M. V., \"Syntax and semantics of superintuitionistic logics\", <i>Algebra i Logika<\/i>, vol. 28 (1989), pp. 402\u201329, 486\u201387."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Bezhanishvili, G., L. Esakia, and D. Gabelaia, \"Spectral and ${T}_0$-spaces in d-semantics\", in <i>8th International Tbilisi Symposium on Logic, Language, and Computation. Selected Papers<\/i>, edited by N. Bezhanishvili, S. L\u00f6bner, K. Schwabe, and L. Spada, Lecture Notes in Artificial Intelligence, Springer, 2011.","DOI":"10.1007\/978-3-642-22303-7_2"},{"key":"17","unstructured":"[17] Wolter, F., <i>Lattices of Modal Logics<\/i>, Ph.D. thesis, Free University of Berlin, 1993."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1306190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T11:54:18Z","timestamp":1712404458000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-2\/An-Algebraic-Approach-to-Subframe-Logics-Modal-Case\/10.1215\/00294527-1306190.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":22,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2011,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1306190","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}