{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:19:01Z","timestamp":1725898741304},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642369759"},{"type":"electronic","value":"9783642369766"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36976-6_16","type":"book-chapter","created":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T06:26:58Z","timestamp":1362464818000},"page":"257-276","source":"Crossref","is-referenced-by-count":1,"title":["Coalgebraic Predicate Logic: Equipollence Results and Proof Theory"],"prefix":"10.1007","author":[{"given":"Tadeusz","family":"Litak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuhiko","family":"Sano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL\u00a08(3) (2000)","DOI":"10.1093\/jigpal\/8.3.339"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"2","key":"16_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11225-006-9009-6","volume":"84","author":"P. Blackburn","year":"2006","unstructured":"Blackburn, P., ten Cate, B.: Pure extensions, proof rules, and hybrid axiomatics. Studia Logica\u00a084(2), 277\u2013322 (2006)","journal-title":"Studia Logica"},{"key":"16_CR5","unstructured":"ten Cate, B.: Model theory for extended modal languages. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01 (2005)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11538363_24","volume-title":"Computer Science Logic","author":"B.D. Cate ten","year":"2005","unstructured":"ten Cate, B.D., Franceschet, M.: On the Complexity of Hybrid Logics with Binders. In: Ong, L. (ed.) CSL 2005. LNCS, vol.\u00a03634, pp. 339\u2013354. Springer, Heidelberg (2005)"},{"key":"16_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/BFb0066792","volume-title":"Cambridge Summer School in Mathematical Logic","author":"C. Chang","year":"1973","unstructured":"Chang, C.: Modal model theory. In: Mathias, A., Rogers, H. (eds.) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol.\u00a0337, pp. 599\u2013617. Springer, Heidelberg (1973)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hvid Hansen, H., Kupke, C., Pacuit, E.: Neighbourhood structures: Bisimilarity and basic model theory. Log. Methods Comput. Sci.\u00a05 (2009)","DOI":"10.2168\/LMCS-5(2:2)2009"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-642-31585-5_29","volume-title":"Automata, Languages, and Programming","author":"T. Litak","year":"2012","unstructured":"Litak, T., Pattinson, D., Sano, K., Schr\u00f6der, L.: Coalgebraic Predicate Logic. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) Automata, Languages, and Programming, Part II. LNCS, vol.\u00a07392, pp. 299\u2013311. Springer, Heidelberg (2012)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Negri, S., Von Plato, J.: Structural Proof Theory. Cambridge University Press (2001)","DOI":"10.1017\/CBO9780511527340"},{"key":"16_CR11","unstructured":"Pacuit, E., Salame, S.: Majority logic. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) Proc. KR 2004, pp. 598\u2013605. AAAI Press (2004)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.1016\/j.ic.2009.11.008","volume":"208","author":"D. Pattinson","year":"2010","unstructured":"Pattinson, D., Schr\u00f6der, L.: Cut elimination in coalgebraic logics. Information and Computation\u00a0208, 1447\u20131468 (2010)","journal-title":"Information and Computation"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.jlap.2006.11.004","volume":"73","author":"L. Schr\u00f6der","year":"2007","unstructured":"Schr\u00f6der, L.: A finite model construction for coalgebraic modal logic. J. Log. Algebr. Prog.\u00a073, 97\u2013110 (2007)","journal-title":"J. Log. Algebr. Prog."},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-12032-9_23","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Schr\u00f6der","year":"2010","unstructured":"Schr\u00f6der, L., Pattinson, D.: Coalgebraic Correspondence Theory. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 328\u2013342. Springer, Heidelberg (2010)"},{"key":"16_CR15","unstructured":"Schr\u00f6der, L., Pattinson, D.: Named models in coalgebraic hybrid logic. In: Marion, J.-Y., Schwentick, T. (eds.) STACS. LIPIcs, vol.\u00a05, pp. 645\u2013656. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)"},{"issue":"1","key":"16_CR16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1090\/S0002-9947-1980-0554321-4","volume":"258","author":"J. Sgro","year":"1980","unstructured":"Sgro, J.: The interior operator logic and product topologies. Trans. AMS 258(1), 99\u2013112 (1980)","journal-title":"Trans. AMS"},{"key":"16_CR17","unstructured":"Troelstra, A., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press (1996)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36976-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T10:30:59Z","timestamp":1557570659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36976-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369759","9783642369766"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36976-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}