{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:07:32Z","timestamp":1769602052565,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540282310","type":"print"},{"value":"9783540318972","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538363_22","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:35:33Z","timestamp":1127828133000},"page":"309-324","source":"Crossref","is-referenced-by-count":23,"title":["Results on the Guarded Fragment with Equivalence or Transitive Relations"],"prefix":"10.1007","author":[{"given":"Emanuel","family":"Kiero\u0144ski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"22_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J., N\u00e9meti, I.: Modal Languages and Bounded Fragments of Predicate Logic. J. Philos. Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"J. Philos. Logic"},{"key":"22_CR2","unstructured":"van Benthem, J.: Dynamic bits and pieces, ILLC Research Report (1997)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Meyer, C., Veanes, M.: The Two-Variable Guarded Fragment with Transitive Relations. In: Proc. of 14-th LICS, pp. 24\u201334 (1999)","DOI":"10.1109\/LICS.1999.782582"},{"key":"22_CR4","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. J. Symbolic Logic\u00a064, 1719\u20131742 (1999)","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"22_CR5","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., Vardi, M.: On the Decision Problem for Two-Variable First Order Logic. Bull. of Symbolic Logic\u00a03(1), 53\u201396 (1997)","journal-title":"Bull. of Symbolic Logic"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0304-3975(98)00308-9","volume":"224","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., Otto, M.: On Logics with Two Variables. TCS\u00a0224, 77\u2013113 (1999)","journal-title":"TCS"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s001530050130","volume":"38","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Undecidability Results on Two-Variable First-Order Logic. Archive of Mathematical Logic\u00a038, 313\u2013354 (1999)","journal-title":"Archive of Mathematical Logic"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Walukiewicz, I.: Guarded Fixpoint Logic. In: Proc. of 14-th LICS, pp. 45\u201354 (1999)","DOI":"10.1109\/LICS.1999.782585"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Kiero\u0144ski, E.: EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. In: Proc. of 19-th STACS, pp. 608\u2013619 (2002)","DOI":"10.1007\/3-540-45841-7_50"},{"key":"22_CR10","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 2EXPTIMEHard. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 299\u2013312. Springer, Heidelberg (2003)"},{"key":"22_CR11","unstructured":"Kiero\u0144ski, E., Otto, M.: Small Substructures and Decidability Issues for First-Order Logic with Two Variables. accepted for LICS 2005 (2005)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0022-0000(80)90027-6","volume":"21","author":"H.R. Lewis","year":"1980","unstructured":"Lewis, H.R.: Complexity Results for Classes of Quantificational Formulas. J. Comp. and System Sci.\u00a021, 317\u2013353 (1980)","journal-title":"J. Comp. and System Sci."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Otto, M.: Two Variable First-Order Logic Over Ordered Domains. J. Symb. Log.\u00a066 (2001)","DOI":"10.2307\/2695037"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Szwast, W., Tendera, L.: On the Decision Problem for the Guarded Fragment with Transitivity. In: Proc. of 16-th LICS, pp. 147\u2013156 (2001)","DOI":"10.1109\/LICS.2001.932491"},{"key":"22_CR15","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"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-31856-9_7","volume-title":"STACS 2005","author":"L. Tendera","year":"2005","unstructured":"Tendera, L.: Counting in the two variable guarded logic with transitivity. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol.\u00a03404, pp. 83\u201396. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538363_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:38:33Z","timestamp":1736005113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538363_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282310","9783540318972"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11538363_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}