{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T12:40:01Z","timestamp":1737549601584,"version":"3.33.0"},"reference-count":5,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2007,10,1]]},"DOI":"10.1305\/ndjfl\/1193667708","type":"journal-article","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T01:52:55Z","timestamp":1195177975000},"source":"Crossref","is-referenced-by-count":5,"title":["The Modal Logic of Cluster-Decomposable Kripke Interpretations"],"prefix":"10.1215","volume":"48","author":[{"given":"Michael","family":"Kaminski","sequence":"first","affiliation":[]},{"given":"Michael","family":"Tiomkin","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Donini, F. M., D. Nardi, and R. Rosati, \"Ground nonmonotonic modal logics\", <i>Journal of Logic and Computation<\/i>, vol. 7 (1997), pp. 523--48.","DOI":"10.1093\/logcom\/7.4.523"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Hughes, G. E., and M. J. Cresswell, <i>A New Introduction to Modal Logic<\/i>, Routledge, London, 1996.","DOI":"10.4324\/9780203290644"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Marek, V. W., and M. Truszczy\u0144ski, <i>Nonmonotonic Logic. Context-dependent Reasoning<\/i>, Artificial Intelligence. Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"5","unstructured":"[5] Segerberg, K., <i>An Essay in Classical Modal Logic. Vols. 1, 2, 3<\/i>, no. 13 of <i>Filosofiska Studier<\/i>, Filosofiska F\u00f6reningen och Filosofiska Institutionen vid Uppsala Universitet, Uppsala, 1971."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Schwarz, G., \"Minimal model semantics for nonmonotonic modal logics\", pp. 34--43 in <i>Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science<\/i>, IEEE Computer Society Press, Los Alamitos, 1992.","DOI":"10.1109\/LICS.1992.185517"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1193667708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T12:14:52Z","timestamp":1737548092000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-48\/issue-4\/The-Modal-Logic-of-Cluster-Decomposable-Kripke-Interpretations\/10.1305\/ndjfl\/1193667708.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,1]]},"references-count":5,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2007,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1193667708","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[2007,10,1]]}}}