{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:50Z","timestamp":1755220910899,"version":"3.43.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1998,5]]},"DOI":"10.1023\/a:1005081328928","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"357-386","source":"Crossref","is-referenced-by-count":5,"title":["Characterizations of Negative Definability in Modal Logic"],"prefix":"10.1007","volume":"60","author":[{"given":"Marco","family":"Hollenberg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"165380_CR1","unstructured":"van Benthem, J. F. A. K., 1976, Model Correspondence Theory, PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam."},{"key":"165380_CR2","first-page":"20","volume":"30","author":"J. F. A. K. van Benthem","year":"1989","unstructured":"van Benthem, J. F. A. K., 1989, \u2018Notes on modal definability\u2019 Notre Dame Journal of Formal Logic 30, 20\u201335.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"165380_CR3","unstructured":"van Benthem, J. F. A. K., 1991, \u2018Modal frame classes, revisited\u2019, ILLC Research Report ML-91-12, Institute for Language, Logic and Information."},{"key":"165380_CR4","unstructured":"Chang, C. C., and H. J. Keisler, 1977, Model Theory, volume 173 of Studies in Logic and the Foundations of Mathematics, Elsevier Science Publishers B. V."},{"key":"165380_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. M. Gabbay","year":"1981","unstructured":"Gabbay, D. M., 1981, \u2018An irreflexivity lemma with applications to axiomatizations of conditions on linear frames\u2019, in: U. M\u00f6nnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 67\u201389."},{"key":"165380_CR6","volume-title":"Temporal logic: mathematical foundations and computational aspects","author":"D. M. Gabbay","year":"1993","unstructured":"Gabbay, D. M., I. Hodkinson and M. Reynolds, 1993, Temporal logic: mathematical foundations and computational aspects, Oxford University Press, Oxford."},{"key":"165380_CR7","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"Gargov, G., and V. Goranko, 1993, \u2018Modal logic with names\u2019, Journal of Philosophical Logic 22, 607\u2013636.","journal-title":"Journal of Philosophical Logic"},{"key":"165380_CR8","first-page":"41","volume":"6","author":"R. Goldblatt","year":"1976","unstructured":"Goldblatt, R., 1976, \u2018Metamathematics of modal logic I\u2019, Reports on Mathematical Logic 6, 41\u201377.","journal-title":"Reports on Mathematical Logic"},{"key":"165380_CR9","first-page":"21","volume":"7","author":"R. Goldblatt","year":"1976","unstructured":"Goldblatt, R., 1976, \u2018Metamathematics of modal logic II\u2019, Reports on Mathematical Logic 7, 21\u201352.","journal-title":"Reports on Mathematical Logic"},{"key":"165380_CR10","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BFb0062855","volume-title":"Algebra and Logic","author":"R. Goldblatt","year":"1975","unstructured":"Goldblatt, R., and S. Thomason, 1975, \u2018Axiomatic classes in propositional modal logic\u2019, in: J. Crossley (ed.), Algebra and Logic, volume 450 of Lecture Notes in Mathematics, Springer, Berlin, 163\u2013173."},{"key":"165380_CR11","first-page":"81","volume":"31","author":"V. Goranko","year":"1990","unstructured":"Goranko, V., 1990, \u2018Modal definability in enriched languages\u2019, Notre Dame Journal of Formal Logic 31, 81\u2013105.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"165380_CR12","first-page":"119","volume-title":"Abstracts of the 9th international Congress of Logic, Methodology and Philosophy of Science","author":"V. Goranko","year":"1991","unstructured":"Goranko, V., 1991, \u2018Applications of quasi-structural rules to axiomatizations in modal logic\u2019 in: Abstracts of the 9th international Congress of Logic, Methodology and Philosophy of Science, volume Volume 1: Logic, Uppsala, 119."},{"key":"165380_CR13","first-page":"119","volume-title":"Abstracts of the 9th international Congress of Logic, Methodology and Philosophy of Science","author":"V. Goranko","year":"1997","unstructured":"Goranko, V., 1997, \u2018Axiomatizations of context rules of inference in modal logic\u2019, A full paper on the results announced in [12]. To appear in Studia Logica."},{"key":"165380_CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00293447","volume":"18","author":"S. Kuhn","year":"1989","unstructured":"Kuhn, S., 1989, \u2018The domino relation: flattening a two-dimensional logic\u2019, Journal of Philosophical Logic 18, 173\u2013195.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"165380_CR15","first-page":"50","volume":"22","author":"S. Mikul\u00c1s","year":"1993","unstructured":"Mikul\u00c1s, Sz., 1993, \u2018Gabbay-style calculi\u2019, Bulletin of the Section of Logic 22(2), 50\u201360.","journal-title":"Bulletin of the Section of Logic"},{"key":"165380_CR16","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. de Rijke","year":"1992","unstructured":"de Rijke, M., 1992, \u2018The modal logic of inequality\u2019, Journal of Symbolic Logic 57, 566\u2013584.","journal-title":"Journal of Symbolic Logic"},{"key":"165380_CR17","unstructured":"Venema, Y., 1991, Many-Dimensional Modal Logic, PhD thesis, University of Amsterdam."},{"key":"165380_CR18","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.2307\/2275109","volume":"58","author":"Y. Venema","year":"1993","unstructured":"Venema, Y., 1993, \u2018Derivation rules as anti-axioms\u2019, Journal of Symbolic Logic 58, 1003\u20131054.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005081328928.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005081328928\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005081328928.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:13:04Z","timestamp":1754629984000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005081328928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["165380"],"URL":"https:\/\/doi.org\/10.1023\/a:1005081328928","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}