{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:30:16Z","timestamp":1775097016068,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540378730","type":"print"},{"value":"9783540378747","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_19","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"281-295","source":"Crossref","is-referenced-by-count":4,"title":["Algebraization of Hybrid Logic with Binders"],"prefix":"10.1007","author":[{"given":"Tadeusz","family":"Litak","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Areces, C., Blackburn, P., Marx, M.: Hybrid logic is the bounded fragment of first order logic. In: de Queiroz, R., Carnielli, W. (eds.) Proceedings of 6th Workshop on Logic, Language, Information and Computation, WOLLIC 1999, Rio de Janeiro, Brazil, pp. 33\u201350 (1999)"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1090\/S0002-9904-1966-11507-0","volume":"72","author":"S. Feferman","year":"1966","unstructured":"Feferman, S., Kreisel, G.: Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society\u00a072, 480\u2013485 (1966), Research Announcement","journal-title":"Bulletin of the American Mathematical Society"},{"key":"19_CR3","first-page":"29","volume":"20","author":"S. Feferman","year":"1968","unstructured":"Feferman, S.: Persistent and invariant formulas for outer extensions. Compositio Mathematica\u00a020, 29\u201352 (1968)","journal-title":"Compositio Mathematica"},{"key":"19_CR4","unstructured":"Halmos, P.: Algebraic Logic. Chelsea Publishing Company (1962)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1305\/ndjfl\/1093891000","volume":"1","author":"C. Pinter","year":"1973","unstructured":"Pinter, C.: A simple algebra of first order logic. Notre Dame Journal of Formal Logic\u00a01, 361\u2013366 (1973)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/BF02485226","volume":"5","author":"H. Andr\u00e9ka","year":"1975","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I.: A simple, purely algebraic proof of the completeness of some first order logics. Algebra Universalis\u00a05, 8\u201315 (1975)","journal-title":"Algebra Universalis"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"ten Cate, B.: Model theory for extended modal languages. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01 (2005)","DOI":"10.2178\/jsl\/1107298517"},{"key":"19_CR8","unstructured":"Blackburn, P., Cate, B.: Pure extensions, proof rules, and hybrid axiomatics. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Preliminary proceedings of Advances in Modal Logic (AiML 2004), Manchester (2004)"},{"key":"19_CR9","volume-title":"Handbook of boolean algebras","author":"S. Koppelberg","year":"1989","unstructured":"Koppelberg, S.: Handbook of boolean algebras, vol.\u00a01. Elsevier, North-Holland (1989)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A simplified formalization of predicate logic with identity. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung\u00a07 (1965)","DOI":"10.1007\/BF01972461"},{"key":"19_CR11","volume-title":"Cylindric algebras, Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., Monk, J., Tarski, A.: Cylindric algebras, Part II. North Holland, Amsterdam (1985)"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0168-0072(98)00032-3","volume":"91","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., Givant, S., Mikul\u00e1s, S., N\u00e9meti, I., Simon, A.: Notions of density that imply representability in algebraic logic. Annals of Pure and Applied Logic\u00a091, 93\u2013190 (1998)","journal-title":"Annals of Pure and Applied Logic"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/8.4.451","volume":"8","author":"D. Monk","year":"2000","unstructured":"Monk, D.: An introduction to cylindric set algebras (with an appendix by H. Andr\u00e9ka). Logic Journal of the IGPL\u00a08, 451\u2013506 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-44802-0_2","volume-title":"Computer Science Logic","author":"J. Bussche Van den","year":"2001","unstructured":"Van den Bussche, J.: Applications of Alfred Tarski\u2019s ideas in database theory. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142, pp. 20\u201337. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11828563_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:18:14Z","timestamp":1605644294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11828563_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}