{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T22:44:54Z","timestamp":1725921894871},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_21","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"337-353","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Tableau System for Instantial Neighborhood Logic"],"prefix":"10.1007","author":[{"given":"Junhua","family":"Yu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"21_CR1","unstructured":"Beth, E.W.: Semantic Entailment and Formal Derivability. Mededelingen van de Koninklijke Nederlandske Akademie van Wetenschappen, vol. 18, no. 13, pp. 309\u2013342 (1955)"},{"issue":"1","key":"21_CR2","first-page":"146","volume":"159","author":"B Cate ten","year":"2006","unstructured":"ten Cate, B., Gabelaia, D., Sustretov, D.: Modal languages for topology: expressivity and definability. Ann. Pure Appl. Log. 159(1), 146\u2013170 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"21_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyashche, M.: Modal Logic. Oxford Science Publications, Oxford (1997)"},{"key":"21_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic - An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic - An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino, M.: Tableau methods for classical propositional logic. In: [6]","DOI":"10.1007\/978-94-017-1754-0_2"},{"volume-title":"Handbook of Tableau Methods","year":"1999","key":"21_CR6","unstructured":"D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.): Handbook of Tableau Methods. Kluwer Academic Publisher, Dordrecht (1999)"},{"key":"21_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht (1983)"},{"key":"21_CR8","unstructured":"Fitting, M.: Introduction. In: [6]"},{"key":"21_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0411-4","volume-title":"Types, Tableaus, and G\u00f6del\u2019s God","author":"M Fitting","year":"2002","unstructured":"Fitting, M.: Types, Tableaus, and G\u00f6del\u2019s God. Kluwer Academic Publisher, Dordrecht (2002)"},{"key":"21_CR10","first-page":"8","volume":"8","author":"J Hintikka","year":"1955","unstructured":"Hintikka, J.: Two papers on symbolic logic: form and content in quanlification thoery. Acta Philos. Fenn. 8, 8\u201355 (1955)","journal-title":"Acta Philos. Fenn."},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF02120399","volume":"10","author":"Z Lis","year":"1960","unstructured":"Lis, Z.: Wynikanie semantyczne a wynikanie fonnalne. Stud. Log. 10, 39\u201360 (1960). (in Polish)","journal-title":"Stud. Log."},{"key":"21_CR12","unstructured":"Pacuit, E.: Neighborhood semantics for modal logic - An introduction. ESSLLI 2007 course notes (2007)"},{"key":"21_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R Smullyan","year":"1968","unstructured":"Smullyan, R.: First-Order Logic. Springer, Heidelberg (1968)"},{"issue":"1","key":"21_CR14","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1017\/S1755020316000447","volume":"10","author":"J Benthem van","year":"2017","unstructured":"van Benthem, J., Bezhanishvili, N., Enqvist, S., Yu, J.: Instantial neighbourhood logic. Rev. Symb. Log. 10(1), 116\u2013144 (2017)","journal-title":"Rev. Symb. Log."},{"key":"21_CR15","unstructured":"Yu, J.: Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus (submitted)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T02:17:26Z","timestamp":1719627446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}