{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:08:22Z","timestamp":1725872902068},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"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-54069-5_5","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T03:43:15Z","timestamp":1480650195000},"page":"48-63","source":"Crossref","is-referenced-by-count":3,"title":["Neighbourhood Contingency Bisimulation"],"prefix":"10.1007","author":[{"given":"Zeinab","family":"Bakhtiari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helle Hvid","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"issue":"301","key":"5_CR1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1093\/mind\/LXXVI.301.49","volume":"76","author":"AP Brogan","year":"1967","unstructured":"Brogan, A.P.: Aristotle\u2019s logic of statements about contingency. Mind 76(301), 49\u201361 (1967)","journal-title":"Mind"},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic, An Intoduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic, An Intoduction. Cambridge University Press, Cambridge (1980)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/comjnl\/bxp004","volume":"54","author":"C Cirstea","year":"2008","unstructured":"Cirstea, C., Kurz, A., Pattinson, D., Schr\u00f6der, L., Venema, Y.: Modal logics are coalgebraic. Comput. J. 54(1), 31\u201341 (2008)","journal-title":"Comput. J."},{"key":"5_CR4","unstructured":"Fan, J.: Logical studies for non-contingency operator. Ph.D. thesis, Peking University (2015). (in Chinese)"},{"key":"5_CR5","unstructured":"Fan, J.: A note on non-contingency logic (manuscript) (2016). https:\/\/www.researchgate.net\/publication\/305091939"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-662-45824-2_6","volume-title":"Logic and Its Applications","author":"J Fan","year":"2015","unstructured":"Fan, J., van Ditmarsch, H.: Neighborhood contingency logic. In: Banerjee, M., Krishna, S.N. (eds.) ICLA 2015. LNCS, vol. 8923, pp. 88\u201399. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-45824-2_6"},{"key":"5_CR7","unstructured":"Fan, J., Wang, Y., van Ditmarsch, H.: Almost necessary. In: Proceedings of 10th Advances in Modal Logic (AiML), pp. 178\u2013196 (2014)"},{"issue":"1","key":"5_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S1755020314000343","volume":"8","author":"J Fan","year":"2015","unstructured":"Fan, J., Wang, Y., van Ditmarsch, H.: Contingency and knowing whether. Rev. Symbolic Logic 8(1), 75\u2013107 (2015)","journal-title":"Rev. Symbolic Logic"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Hansen, H.H., Kupke, C., Pacuit, E.: Neighbourhood structures: bisimilarity and basic model theory. Logical Methods Comput. Sci. 5(2) (2009). (paper 2)","DOI":"10.2168\/LMCS-5(2:2)2009"},{"issue":"2","key":"5_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S1571-0661(05)82606-4","volume":"85","author":"W Hoek van der","year":"2004","unstructured":"van der Hoek, W., Lomuscio, A.: A logic for ignorance. Electron. Notes Theor. Comput. Sci. 85(2), 117\u2013133 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"5_CR11","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1305\/ndjfl\/1040248455","volume":"36","author":"L Humberstone","year":"1995","unstructured":"Humberstone, L.: The logic of non-contingency. Notre Dame J. Formal Logic 36(2), 214\u2013229 (1995)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"2","key":"5_CR12","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1305\/ndjfl\/1040248456","volume":"36","author":"S Kuhn","year":"1995","unstructured":"Kuhn, S.: Minimal non-contingency logic. Notre Dame J. Formal Logic 36(2), 230\u2013234 (1995)","journal-title":"Notre Dame J. Formal Logic"},{"key":"5_CR13","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, 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"5_CR14","first-page":"318","volume":"9","author":"H Montgomery","year":"1966","unstructured":"Montgomery, H., Routley, R.: Contingency and non-contingency bases for normal modal logics. Logique et Analyse 9, 318\u2013328 (1966)","journal-title":"Logique et Analyse"},{"issue":"1\u20133","key":"5_CR15","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(03)00201-9","volume":"309","author":"D Pattinson","year":"2003","unstructured":"Pattinson, D.: Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theor. Comput. Sci. 309(1\u20133), 177\u2013193 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"5_CR16","first-page":"283","volume":"22","author":"C Pizzi","year":"1999","unstructured":"Pizzi, C.: Contingency logics and propositional quantification. Manuscrito 22(2), 283 (1999)","journal-title":"Manuscrito"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Scott, D.: Advice on modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic: Some Recent Developments, pp. 143\u2013173. Kluwer, Dordrecht (1970)","DOI":"10.1007\/978-94-010-3272-8_7"},{"issue":"4","key":"5_CR18","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1215\/00294527-2008-018","volume":"49","author":"C Steinsvold","year":"2008","unstructured":"Steinsvold, C.: A note on logics of ignorance and borders. Notre Dame J. Formal Logic 49(4), 385\u2013392 (2008)","journal-title":"Notre Dame J. Formal Logic"},{"key":"5_CR19","unstructured":"Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Outstanding Contributions to Logic. Springer (2016, to appear)"},{"issue":"4","key":"5_CR20","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1305\/ndjfl\/1012429717","volume":"40","author":"E Zolin","year":"1999","unstructured":"Zolin, E.: Completeness and definability in the logic of noncontingency. Notre Dame J. Formal Logic 40(4), 533\u2013547 (1999)","journal-title":"Notre Dame J. Formal Logic"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T01:53:35Z","timestamp":1568598815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}