{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:10:38Z","timestamp":1684073438729},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T00:00:00Z","timestamp":1193270400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s10849-007-9052-3","type":"journal-article","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T07:35:48Z","timestamp":1193211348000},"page":"217-227","source":"Crossref","is-referenced-by-count":1,"title":["Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax"],"prefix":"10.1007","volume":"17","author":[{"given":"Hans-J\u00f6rg","family":"Tiede","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,10,25]]},"reference":[{"issue":"2","key":"9052_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3166\/jancl.15.115-135","volume":"15","author":"L. Afanasiev","year":"2005","unstructured":"Afanasiev L., Blackburn P., Dimitriou I., Gaiffe B., Goris E., Marx M., de Rijke M. (2005) PDL for ordered trees. Journal of Applied Non-Classical Logic 15(2): 115\u2013135","journal-title":"Journal of Applied Non-Classical Logic"},{"issue":"1","key":"9052_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/jigpal\/2.1.3","volume":"2","author":"P. Blackburn","year":"1994","unstructured":"Blackburn P., Meyer-Viol W. (1994). Linguistics, logic and finite trees. Logic Journal of the IGPL, 2(1): 3\u201329","journal-title":"Logic Journal of the IGPL,"},{"key":"9052_CR3","first-page":"177","volume-title":"The GLOT international state-of-the-article book","author":"T. Cornell","year":"2000","unstructured":"Cornell T., Rogers J. (2000). Model theoretic syntax. In: Cheng L.L.-S., Sybesma R. (eds) The GLOT international state-of-the-article book. Berlin, de Gruyter, pp. 177\u2013198"},{"key":"9052_CR4","doi-asserted-by":"crossref","unstructured":"Courcelle, B. (1990). Graph rewriting: An algebraic and logic approach. In: J. van Leeuwen (Ed.), Handbook of theoretical computer science (Vol. B, Chapt. 5, pp. 193\u2013242). Elsevier.","DOI":"10.1016\/B978-0-444-88074-1.50010-X"},{"key":"9052_CR5","doi-asserted-by":"crossref","unstructured":"G\u00e9cseg, F., & Steinby, M. (1997). Tree languages. In: G. Rozenberg, & A. Salomaa (Eds.), Handbook of formal languages (Vol. 3, pp. 1\u201368). Springer.","DOI":"10.1007\/978-3-642-59126-6_1"},{"key":"9052_CR6","unstructured":"Kamp, H. (1968). Tense logic and the theory of linear order. Ph.D. thesis, University of California, Los Angeles."},{"key":"9052_CR7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BFb0052150","volume-title":"Logical aspects of computational linguistics","author":"M. Kracht","year":"1997","unstructured":"Kracht M. (1997). Inessential features. In: Lecomte A., Lamarche F., Perrier G. (eds) Logical aspects of computational linguistics. Berlin, Springer, pp. 43\u201362"},{"key":"9052_CR8","volume-title":"Tools and techniques in modal logic","author":"M. Kracht","year":"1999","unstructured":"Kracht M. (1999). Tools and techniques in modal logic. Amsterdam, North-Holland"},{"key":"9052_CR9","first-page":"337","volume-title":"Advances in modal logic (Vol. 2)","author":"M. Kracht","year":"2001","unstructured":"Kracht M. (2001). Logic and syntax\u2014a personal perspective. In: Zakharyaschev M., Segerberg K., de Rijke M., Wansing H. (eds) Advances in modal logic (Vol. 2). Stanford, CSLI Publications, pp. 337\u2013366"},{"key":"9052_CR10","doi-asserted-by":"crossref","DOI":"10.1515\/9783110895667","volume-title":"The mathematics of language","author":"M. Kracht","year":"2003","unstructured":"Kracht M. (2003). The mathematics of language. Berlin, de Gruyter"},{"key":"9052_CR11","unstructured":"Moschovakis, Y. (1974). Elementary induction on abstract structures. North-Holland Publishing Company."},{"key":"9052_CR12","first-page":"1031","volume-title":"Handbook of modal logic","author":"L.S. Moss","year":"2006","unstructured":"Moss L.S., Tiede H.-J. (2006). Applications of modal logic in linguistics. In: Blackburn P., van Benthem J., Wolter F. (eds) Handbook of modal logic. Amsterdam, Elsevier, pp. 1031\u20131076"},{"key":"9052_CR13","volume-title":"Transforming tree constraints into formal grammars","author":"A. Palm","year":"1997","unstructured":"Palm A. (1997). Transforming tree constraints into formal grammars. Berlin, Akademische Verlagsgesellschaft Aka GmbH"},{"issue":"1","key":"9052_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0304-3975(94)90270-4","volume":"126","author":"A. Potthoff","year":"1994","unstructured":"Potthoff A. (1994). Modulo-counting quantifiers over finite trees. Theoretical Computer Science 126(1): 97\u2013112","journal-title":"Theoretical Computer Science"},{"key":"9052_CR15","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BFb0052167","volume-title":"Logical aspects of computational linguistics (Nancy, 1996)","author":"J. Rogers","year":"1997","unstructured":"Rogers J. (1997). Strict LT2: Regular :: local : recognizable. In: Retor\u00e9 C. (eds) Logical aspects of computational linguistics (Nancy, 1996). Berlin, Springer, pp. 366\u2013385"},{"key":"9052_CR16","volume-title":"A descriptive approach to language-theoretic complexity","author":"J. Rogers","year":"1998","unstructured":"Rogers J. (1998). A descriptive approach to language-theoretic complexity. Stanford, CSLI Publications"},{"key":"9052_CR17","doi-asserted-by":"crossref","unstructured":"Schlingloff, B.-H. (1992). On the expressive power of modal logics on trees. In: A. Nerode & M. A. Taitslin (Eds.), Logical foundations of computer science\u2014Tver \u201992, Second International Symposium, Tver, Russia, July 20\u201324, 1992, Proceedings (pp. 441\u2013451). Berlin: Springer-Verlag.","DOI":"10.1007\/BFb0023896"},{"key":"9052_CR18","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0022-0000(67)80022-9","volume":"1","author":"J.W. Thatcher","year":"1967","unstructured":"Thatcher J.W. (1967). Characterizing derivation trees of context-free grammars through a generalization of finite automata theory. Journal of Computer and System Sciences 1, 317\u2013322","journal-title":"Journal of Computer and System Sciences"},{"key":"9052_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"J.W. Thatcher","year":"1968","unstructured":"Thatcher J.W., Wright J.B. (1968). Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical Systems Theory 2, 57\u201381","journal-title":"Mathematical Systems Theory"},{"key":"9052_CR20","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1515\/9783110806786.83","volume-title":"The mathematics of syntactic structure.","author":"H. Volger","year":"1999","unstructured":"Volger H. (1999). Principle languages and principle based parsing. In: Kolb H.-P., M\u00f6nnich U. (eds) The mathematics of syntactic structure. Berlin, de Gruyter, pp. 83\u2013111"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-007-9052-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-007-9052-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-007-9052-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T13:45:41Z","timestamp":1684071941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-007-9052-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,25]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["9052"],"URL":"https:\/\/doi.org\/10.1007\/s10849-007-9052-3","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,25]]}}}