{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:12:29Z","timestamp":1721049149445},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,10,30]],"date-time":"2014-10-30T00:00:00Z","timestamp":1414627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s11225-014-9590-z","type":"journal-article","created":{"date-parts":[[2014,10,29]],"date-time":"2014-10-29T15:13:02Z","timestamp":1414595582000},"page":"733-755","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Properties of Saturation in Monotonic Neighbourhood Models and Some Applications"],"prefix":"10.1007","volume":"103","author":[{"given":"Sergio A.","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,30]]},"reference":[{"key":"9590_CR1","unstructured":"Areces, C., and D. Figueira, Which semantics for neighbourhood semantics?, IJCAI\u201909, AAAI Press, Menlo Park, 2009, pp. 671\u2013676."},{"key":"9590_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"9590_CR3","first-page":"111","volume":"49","author":"S. A. Celani","year":"2008","unstructured":"Celani S. A.: Saturated neighbourhood models of monotonic modal logics. Revista de la Uni\u00f3n Matem\u00e1tica Argentina 49(1), 111\u2013121 (2008)","journal-title":"Revista de la Uni\u00f3n Matem\u00e1tica Argentina"},{"issue":"1","key":"9590_CR4","first-page":"59","volume":"66","author":"S.A. Celani","year":"2008","unstructured":"Celani S.A.: Monotonic modal logics related to the Von Wright\u2019s logic of place. Rend. Sem. Mat. Univ. Pol. Torino 66(1), 59\u201374 (2008)","journal-title":"Rend. Sem. Mat. Univ. Pol. Torino"},{"issue":"1","key":"9590_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s11083-008-9106-4","volume":"26","author":"S.A. Celani","year":"2009","unstructured":"Celani S.A.: Topological duality for Boolean algebras with a normal n-ary monotonic operator. Order 26(1), 49\u201367 (2009)","journal-title":"Order"},{"key":"9590_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"9590_CR7","unstructured":"Goldblatt, R., Mathematics of Modality, CSLI Lectures Notes 43, CSLI Publications, Stanford, 1993."},{"key":"9590_CR8","unstructured":"Goldblatt, R., Saturation and the Hennessy-Milner property, in Alban Ponse, Maarten de Rijke, and Yde Venema (eds.), Modal Logic and Process Algebra, CSLI Lecture Notes No. 53, CSLI Publications, Stanford, 1995, pp. 107\u2013129."},{"issue":"12","key":"9590_CR9","first-page":"1945","volume":"11","author":"R. Goldblatt","year":"2005","unstructured":"Goldblatt R.: Axiomatic classes of intuitionistic models. Journal of Universal Computer Science 11(12), 1945\u20131962 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"9590_CR10","unstructured":"Hansen, H. H., Monotonic modal logic, Master\u2019s Thesis, Preprint 2003-2024, ILLC, University of Amsterdam, 2003."},{"key":"9590_CR11","doi-asserted-by":"crossref","unstructured":"Hansen, H. H., and C. Kupke, A Coalgebraic Perspective on Monotone Modal Logic, Electronic Notes in Theoretical Computer Science, vol. 106, Elsevier, Amsterdam, pp. 121\u2013143, 2004.","DOI":"10.1016\/j.entcs.2004.02.028"},{"issue":"2","key":"9590_CR12","first-page":"1","volume":"5","author":"C. HansenH.H. Kupke","year":"2009","unstructured":"HansenH.H. Kupke C., Pacuit E.: Neighbourhood structures: bisimilarity and basic model theory. Logical Methods in Computer Science 5(2), 1\u201338 (2009)","journal-title":"Logical Methods in Computer Science"},{"key":"9590_CR13","unstructured":"Hollenberg, M. J., Hennessey-Milner classes and process algebra, in A. Ponse, M. de Rijke, and Y. Venema (eds.), Modal Logic and Process Algebra: A Bisimulation Perspective, vol. 53 of CSLI Lecture Notes. CSLI Publications, Stanford, 1995, pp. 187\u2013216."},{"key":"9590_CR14","unstructured":"Jaspars, J., Fused modal logic and inconsistent belief, in M. de Glas and D. M. Gabbay (eds.), Proceedings of the First World Conference on the Fundamentals of AI, Angkor Publishing Company, Paris, 1991, pp. 267\u2013275."},{"key":"9590_CR15","doi-asserted-by":"crossref","unstructured":"Jaspars, J., Logical omniscience and inconsistent belief, in M.de Rijke (ed.), Diamonds and Defaults, Kluwer, Dordrecht, 1993, pp. 129\u2013146.","DOI":"10.1007\/978-94-015-8242-1_5"},{"key":"9590_CR16","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E. Michael","year":"1951","unstructured":"Michael E.: Topologies on spaces of subsets. Transactions of American Mathematical Society 71, 152\u2013182 (1951)","journal-title":"Transactions of American Mathematical Society"},{"issue":"1\u20132","key":"9590_CR17","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1016\/j.apal.2005.11.002","volume":"141","author":"P. Naumov","year":"2006","unstructured":"Naumov P.: On modal logic of deductive closure. Annals of Pure and Applied Logic 141(1\u20132), 218\u2013224 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9590_CR18","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, Number 13 in Filosofiska Studier, Uppsala Universitet, Uppsala, 1971."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9590-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9590-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9590-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T16:06:22Z","timestamp":1565971582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9590-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,30]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["9590"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9590-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,30]]}}}