{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:04Z","timestamp":1761611164151},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/s10849-005-5787-x","type":"journal-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T01:12:45Z","timestamp":1123636365000},"page":"281-288","source":"Crossref","is-referenced-by-count":9,"title":["Guarded Fragments with Constants"],"prefix":"10.1007","volume":"14","author":[{"given":"Balder ten","family":"Cate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Franceschet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5787_CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J., and N\u00e9meti, I., 1998, \u201cModal logics and bounded fragments of predicate logic,\u201d Journal of Philosophical Logic 27(3), 217\u2013274.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"5787_CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P., 2000, \u201cRepresentation, reasoning, and relational structures: A hybrid logic manifesto,\u201d Logic Journal of the IGPL 8(3), 339\u2013365.","journal-title":"Logic Journal of the IGPL"},{"key":"5787_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., and Gurevich, Y., 1997, The Classical Decision Problem, Berlin: Springer."},{"key":"5787_CR4","doi-asserted-by":"crossref","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., 1999, \u201cOn the restraining power of guards,\u201d Journal of Symbolic Logic 64, 1719\u20131742.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"5787_CR5","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1023\/A:1015154431342","volume":"70","author":"E. Hoogland","year":"2002","unstructured":"Hoogland, E. and Marx, M., 2002, \u201cInterpolation and definability in guarded fragments,\u201d Studia Logica 70(3), 373\u2013409.","journal-title":"Studia Logica"},{"issue":"3","key":"5787_CR6","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1011207512025","volume":"10","author":"M. Marx","year":"2001","unstructured":"Marx, M., 2001, \u201cTolerance logic,\u201d Journal of Logic, Language, and Information 10(3), 353\u2013373.","journal-title":"Journal of Logic, Language, and Information"},{"issue":"1","key":"5787_CR7","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2178\/jsl\/1107298517","volume":"70","author":"B. ten Cate","year":"2005","unstructured":"ten Cate, B., 2005, \u2018Interpolation for extended modal languages,\u201d Journal of Symbolic Logic 70(1), 223\u2013234.","journal-title":"Journal of Symbolic Logic"},{"key":"5787_CR8","unstructured":"ten Cate, B. and Franceschet, M., 2004, \u201cGuarded fragments with constants,\u201d Technical Report PP-2004-32, ILLC, Universiteit van Amsterdam. Available from http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2004-32.text.pdf."},{"key":"5787_CR9","unstructured":"van Benthem, J.: 1997, \u201cDynamic bits and pieces,\u201d Technical Report LP-97-01, ILLC, University of Amsterdam. Available from http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/LP-1997-01.text.pdf."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-5787-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-005-5787-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-5787-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:00Z","timestamp":1559269860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-005-5787-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["5787"],"URL":"https:\/\/doi.org\/10.1007\/s10849-005-5787-x","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}