{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:21:46Z","timestamp":1776316906946,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540637004","type":"print"},{"value":"9783540696315","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052150","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:43:12Z","timestamp":1149640992000},"page":"43-62","source":"Crossref","is-referenced-by-count":8,"title":["Inessential features"],"prefix":"10.1007","author":[{"given":"Marcus","family":"Kracht","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Patrick Blackburn, Wilfried Meyer-Viol, and Maarten de Rijke. A Proof System for Finite Trees. In H. Kleine B\u00fcning, editor, Computer Science Logic '95, number 1092 in Lecture Notes in Computer Science, pages 86\u2013105. Springer, 1996.","DOI":"10.1007\/3-540-61377-3_33"},{"key":"3_CR2","unstructured":"Noam Chomsky. Bare Phrase Structure. In Gert Webelhuth, editor, Government and Binding Theory and the Minimalist Program, pages 385\u2013439. Blackwell, 1995."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Valentin Goranko and Solomon Passy. Using the universal modality: Gains and Questions. Journal of Logic and Computation, 2:5\u201330, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF00984931","volume":"18","author":"M. Kracht","year":"1995","unstructured":"Marcus Kracht. Is there a genuine modal perspective on feature structures? Linguistics and Philosophy, 18:401\u2013458, 1995.","journal-title":"Linguistics and Philosophy"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Marcus Kracht. Syntactic Codes and Grammar Refinement. Journal of Logic, Language and Information, 1995.","DOI":"10.1007\/BF01049475"},{"key":"3_CR6","volume-title":"Tools and Techniques in Modal Logic","author":"M. Kracht","year":"1996","unstructured":"Marcus Kracht. Tools and Techniques in Modal Logic. Habilitationsschrift, Department of Mathematics, FU Berlin, 1996."},{"key":"3_CR7","unstructured":"Marcus Kracht. On Reducing Principles to Rules. In Maarten de Rijke and Patrick Blackburn, editors, Specifying Syntactic Structure, pages 95\u2013122, CSLI, 1996."},{"key":"3_CR8","unstructured":"James Rogers. Studies in the Logic of Trees with Applications to Grammar Formalisms. PhD thesis, Department of Computer and Information Sciences, University of Delaware, 1994."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"James Rogers. Strict LT2: regular \u2014 Local: recognizable. this volume, 1997.","DOI":"10.1007\/BFb0052167"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:25:44Z","timestamp":1555640744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0052150","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}