{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:11:14Z","timestamp":1742926274855,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029295"},{"type":"electronic","value":"9783642029301"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02930-1_22","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:05:04Z","timestamp":1246532704000},"page":"261-272","source":"Crossref","is-referenced-by-count":7,"title":["Decidability of the Guarded Fragment with the Transitive Closure"],"prefix":"10.1007","author":[{"given":"Jakub","family":"Michaliszyn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andreka","year":"1998","unstructured":"Andreka, H., Nemeti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027, 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/800105.803418","volume-title":"Proceedings of the Ninth Annual ACM Symposium on theory of Computing, STOC 1977","author":"M.J. Fischer","year":"1977","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional modal logic of programs. In: Proceedings of the Ninth Annual ACM Symposium on theory of Computing, STOC 1977, Boulder, Colorado, United States, May 04 - 04, 1977, pp. 286\u2013294. ACM, New York (1977)"},{"key":"22_CR3","volume-title":"Proc. LICS 1999","author":"H. Ganzinger","year":"1999","unstructured":"Ganzinger, H., Meyer, C., Veanes, M.: The two-variable guarded fragment with transitive relations. In: Proc. LICS 1999. IEEE Computer Soc. Press, Los Alamitos (1999)"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic\u00a03(1), 53\u201369 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Walukiewicz, I.: Guarded Fixed Point Logic. In: Proceedings of 14th IEEE Symposium on Logic in Computer Science LICS 1999, Trento (1999)","DOI":"10.1109\/LICS.1999.782585"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BFb0023464","volume-title":"STACS 97","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Undecidability results on two-variable logics. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, pp. 249\u2013260. Springer, Heidelberg (1997)"},{"issue":"4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: On the restraining power of guards. Journal of Symbolic Logic\u00a064(4), 1719\u20131742 (1999)","journal-title":"Journal of Symbolic Logic"},{"key":"22_CR8","unstructured":"Kazakov, Y.: Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (March 2006)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-36576-1_19","volume-title":"Foundations of Software Science and Computational Structures","author":"E. Kiero\u0144ski","year":"2003","unstructured":"Kiero\u0144ski, E.: The two-variable guarded fragment with transitive guards is 2Exptime - Hard. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 299\u2013312. Springer, Heidelberg (2003)"},{"key":"22_CR10","first-page":"477","volume":"27","author":"D. Scott","year":"1962","unstructured":"Scott, D.: A decision method for validity of sentences in two variables. J. Symb. Logic\u00a027, 477 (1962)","journal-title":"J. Symb. Logic"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.apal.2004.01.003","volume":"128","author":"W. Szwast","year":"2004","unstructured":"Szwast, W., Tendera, L.: The guarded fragment with transitive guards. Annals of Pure and Applied Logic\u00a0128, 227\u2013276 (2004)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02930-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T20:20:32Z","timestamp":1552076432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02930-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029295","9783642029301"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02930-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}