{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:09Z","timestamp":1725902649252},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_26","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"358-370","source":"Crossref","is-referenced-by-count":0,"title":["Global Neighbourhood Completeness of the G\u00f6del-L\u00f6b Provability Logic"],"prefix":"10.1007","author":[{"given":"Daniyar","family":"Shamkanov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"unstructured":"Aguilera, J.P., Fern\u00e1ndez-Duque, D.: Strong completeness of provability logic for ordinal spaces (2015). \narXiv:1511.05882v1","key":"26_CR1"},{"key":"26_CR2","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-94-017-8860-1_10","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"L Beklemishev","year":"2014","unstructured":"Beklemishev, L., Gabelaia, D.: Topological interpretations of provability logic. In: Bezhanishvili, G. (ed.) Leo Esakia on Duality in Modal and Intuitionistic Logics. OCL, vol. 4, pp. 257\u2013290. Springer, Dordrecht (2014). doi:\n10.1007\/978-94-017-8860-1_10"},{"issue":"3","key":"26_CR3","first-page":"128","volume":"132","author":"L Esakia","year":"1981","unstructured":"Esakia, L.: Diagonal constructions, L\u00f6b\u2019s formula and Cantor\u2019s scattered space. Stud. Logic Semant. 132(3), 128\u2013143 (1981). (in Russian)","journal-title":"Stud. Logic Semant."},{"issue":"3","key":"26_CR4","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1007\/s11229-011-9905-9","volume":"187","author":"R Hakli","year":"2011","unstructured":"Hakli, R., Negri, S.: Does the deduction theorem fail for modal logic? Synthese 187(3), 849\u2013867 (2011)","journal-title":"Synthese"},{"key":"26_CR5","first-page":"165","volume-title":"Liber Amicorum Alberti. A Tribute to Albert Visser","author":"R Iemhoff","year":"2016","unstructured":"Iemhoff, R.: Reasoning in circles. In: van Eijck, J., et al. (eds.) Liber Amicorum Alberti. A Tribute to Albert Visser, pp. 165\u2013178. College Publications, London (2016)"},{"unstructured":"Litak, T.: An algebraic approach to incompleteness in modal logic. Ph.D. thesis. Japan Advanced Institute of Science and Technology (2005)","key":"26_CR6"},{"issue":"3","key":"26_CR7","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria 36(3), 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"26_CR8","volume-title":"Philosophical Problems in Logic","author":"D Scott","year":"1970","unstructured":"Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic. Reidel, Kufstein (1970)"},{"unstructured":"Segerberg, K.: An Essay in Classical Modal Logic. Filosofiska Studier, vol. 13. Uppsala University (1971)","key":"26_CR9"},{"issue":"3","key":"26_CR10","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1134\/S0001434614090326","volume":"96","author":"D Shamkanov","year":"2014","unstructured":"Shamkanov, D.: Circular proofs for the G\u00f6del-L\u00f6b provability logic. Math. Not. 96(3), 575\u2013585 (2014)","journal-title":"Math. Not."},{"key":"26_CR11","first-page":"663","volume-title":"We Will Show Them! Essays in Honour of Dov Gabbay","author":"V Shehtman","year":"2005","unstructured":"Shehtman, V.: On neighbourhood semantics thirty years later. In: Artemov, S., et al. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, vol. 2, pp. 663\u2013692. College Publications, London (2005)"},{"issue":"4","key":"26_CR12","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1017\/S001309150001049X","volume":"19","author":"H Simmons","year":"1975","unstructured":"Simmons, H.: Topological aspects of suitable theories. Proc. Edinb. Math. Soc. 19(4), 383\u2013391 (1975)","journal-title":"Proc. Edinb. Math. Soc."},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R Solovay","year":"1976","unstructured":"Solovay, R.: Provability interpretations of modal logic. Isr. J. Math. 25, 287\u2013304 (1976)","journal-title":"Isr. J. Math."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,3]],"date-time":"2017-07-03T06:33:26Z","timestamp":1499063606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}