{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:51Z","timestamp":1763468031435,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642220111"},{"type":"electronic","value":"9783642220128"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22012-8_28","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:29:39Z","timestamp":1308367779000},"page":"356-367","source":"Crossref","is-referenced-by-count":10,"title":["Guarded Negation"],"prefix":"10.1007","author":[{"given":"Vince","family":"B\u00e1r\u00e1ny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Balder","family":"ten Cate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Segoufin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_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. Journal of Philosophical Logic\u00a027, 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"28_CR2","unstructured":"B\u00e1r\u00e1ny, V., Boja\u0144czyk, M.: Finite satisfiability for guarded fixpoint logic. Draft available at arXiv:1104.2262v1 [cs.LO] (2011)"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny, V., Gottlob, G., Otto, M.: Querying the guarded fragment. In: Symposium on Logic In Computer Science, LICS (2010)","DOI":"10.1109\/LICS.2010.26"},{"key":"28_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-45653-8_5","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D. Berwanger","year":"2001","unstructured":"Berwanger, D., Gr\u00e4del, E.: Games and model checking for guarded logics. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, p. 70. Springer, Heidelberg (2001)"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1007\/3-540-45465-9_71","volume-title":"Automata, Languages and Programming","author":"M. Boja\u0144czyk","year":"2002","unstructured":"Boja\u0144czyk, M.: Two-way alternating automata and finite models. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, p. 833. Springer, Heidelberg (2002)"},{"key":"28_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-48660-7_3","volume-title":"Automated Deduction - CADE-16","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: Decision procedures for guarded logics. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 31\u201351. Springer, Heidelberg (1999)"},{"issue":"4","key":"28_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. J. Symb. Logic\u00a064(4), 1719\u20131742 (1999)","journal-title":"J. Symb. Logic"},{"key":"28_CR8","unstructured":"Gr\u00e4del, E.: Why are modal logics so robustly decidable? Current Trends in Theoretical Computer Science, 393\u2013408 (2001)"},{"issue":"4-5","key":"28_CR9","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 logics. Arch. Math. Log.\u00a038(4-5), 313\u2013354 (1999)","journal-title":"Arch. Math. Log."},{"key":"28_CR10","volume-title":"Proc. LICS 1999","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., Walukiewicz, I.: Guarded fixed point logic. In: Proc. LICS 1999. IEEE, Los Alamitos (1999)"},{"key":"28_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L. Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004)"},{"issue":"8","key":"28_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a021(8), 135\u2013140 (1975)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"28_CR13","unstructured":"ten Cate, B., Segoufin, L.: Unary negation. In: Proc. STACS 2011 (2011)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable?. In: Descriptive Complexity and Finite Models, pp. 149\u2013184 (1996)","DOI":"10.1090\/dimacs\/031\/05"}],"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-22012-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T20:06:49Z","timestamp":1560283609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22012-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642220111","9783642220128"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22012-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}