{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T09:07:19Z","timestamp":1748336839907,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,2,6]],"date-time":"2021-02-06T00:00:00Z","timestamp":1612569600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,6]],"date-time":"2021-02-06T00:00:00Z","timestamp":1612569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11225-020-09928-9","type":"journal-article","created":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T01:27:36Z","timestamp":1612834056000},"page":"829-857","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Positive Monotone Modal Logic"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1375-6758","authenticated-orcid":false,"given":"Jim","family":"de Groot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,6]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abramsky, S., and A.\u00a0Jung, Domain Theory, in S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, (eds.), Handbook of Logic in Computer Science, Vol.\u00a03, Clarendon Press, Oxford, 1995, pp. 1\u2013168.","key":"9928_CR1","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"9928_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"5","author":"R Alur","year":"2002","unstructured":"Alur, R., T. A. Henzinger, and O.\u00a0Kupferman, Alternating-time temporal logic, Journal of the ACM 5:672\u2013713, 2002.","journal-title":"Journal of the ACM"},{"key":"9928_CR3","first-page":"85","volume-title":"Proc.\u00a0CALCO 2011","author":"A Balan","year":"2011","unstructured":"Balan, A., and A.\u00a0Kurz, Finitary functors: From Set to Preord and Poset, in A.\u00a0Corradini, B.\u00a0Klin, and C.\u00a0C\u00eerstea, (eds.), Proc.\u00a0CALCO 2011, Springer, Berlin, Heidelberg, 2011, pp. 85\u201399."},{"key":"9928_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-40206-7_6","volume-title":"Algebra and Coalgebra in Computer Science","author":"A Balan","year":"2013","unstructured":"Balan, A., A.\u00a0Kurz, and J.\u00a0Velebil, Positive fragments of coalgebraic logics, in R.\u00a0Heckel, and S.\u00a0Milius, (eds.), Algebra and Coalgebra in Computer Science, Springer, Berlin, Heidelberg, 2013, pp. 51\u201365."},{"issue":"6","key":"9928_CR5","first-page":"1799","volume":"27","author":"A Balan","year":"2015","unstructured":"Balan, A., A.\u00a0Kurz, and J.\u00a0Velebil, An institutional approach to positive coalgebraic logic, Journal of Logic and Computation 27(6):1799\u20131824, 2015.","journal-title":"Journal of Logic and Computation"},{"key":"9928_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-11(3:18)2015","volume":"11","author":"A Balan","year":"2015","unstructured":"Balan, A., A.\u00a0Kurz, and J.\u00a0Velebil, Positive fragments of coalgebraic logics, Logical Methods in Computer Science 11:1\u201351, 2015.","journal-title":"Logical Methods in Computer Science"},{"unstructured":"Bezhanishvili, N., J.\u00a0de\u00a0Groot, and Y.\u00a0Venema, Coalgebraic Geometric Logic, in M.\u00a0Roggenbach, and A.\u00a0Sokolova, (eds.), Proc.\u00a0CALCO 2019, Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2019, pp. 7:1\u20137:18.","key":"9928_CR7"},{"key":"9928_CR8","first-page":"143","volume-title":"Proc.\u00a0CALCO 2007","author":"N Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, N., and A.\u00a0Kurz, Free modal algebras: A coalgebraic perspective, in T.\u00a0Mossakowski, U.\u00a0Montanari, and M.\u00a0Haveraaen, (eds.), Proc.\u00a0CALCO 2007, Springer, Berlin, Heidelberg, 2007, pp. 143\u2013157."},{"issue":"1","key":"9928_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039700693","volume":"38","author":"SA Celani","year":"1997","unstructured":"Celani, S. A., and R.\u00a0Jansana, A new semantics for positive modal logic, Notre Dame Journal of Formal Logic 38(1):1\u201319, 1997.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9928_CR10","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"SA Celani","year":"1999","unstructured":"Celani, S. A., and R.\u00a0Jansana, Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic, Logic Journal of the IGPL 7:683\u2013715, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"9928_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2011-616","volume":"114","author":"SA Celani","year":"2012","unstructured":"Celani, S. A., and R.\u00a0Jansana, A note on the model theory for positive modal logic, Fundamenta Informaticae 114:1\u201324, 2012.","journal-title":"Fundamenta Informaticae"},{"key":"9928_CR12","doi-asserted-by":"publisher","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."},{"unstructured":"Dahlqvist, F., and A.\u00a0Kurz, The Positivication of Coalgebraic Logics, in F.\u00a0Bonchi, and B.\u00a0K\u00f6nig, (eds.), Proc.\u00a0CALCO 2017, Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2017, pp. 9:1\u20139:15.","key":"9928_CR13"},{"key":"9928_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J. M., Positive modal logic, Studia Logica 55:301\u2013317, 1995.","journal-title":"Studia Logica"},{"unstructured":"Frittella, S., Monotone Modal Logic & Friends, Ph.D. thesis, Universite d\u2019Aix-Marseille, 2014.","key":"9928_CR15"},{"issue":"1","key":"9928_CR16","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M Gehrke","year":"2005","unstructured":"Gehrke, M., H.\u00a0Nagahashi, and Y.\u00a0Venema, A Sahlqvist theorem for distributive modal logic, Annals of Pure and Applied Logic 131(1):65\u2013102, 2005.","journal-title":"Annals of Pure and Applied Logic"},{"unstructured":"Goldblatt, R. I., Logics of Time and Computation, Center for the Study of Language and Information, USA, 1987.","key":"9928_CR17"},{"unstructured":"Hansen, H. H., Monotonic modal logics, Master\u2019s thesis, University of Amsterdam, 2003.","key":"9928_CR18"},{"key":"9928_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2004.02.028","volume":"106","author":"HH Hansen","year":"2004","unstructured":"Hansen, H. H., and C.\u00a0Kupke, A coalgebraic perspective on monotone modal logic, Electronic Notes in Theoretical Computer Science 106:121\u2013143, 2004.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Kapulkin, K., A.\u00a0Kurz, and J.\u00a0Velebil, Expressiveness of positive coalgebraic logic. in T.\u00a0Bolander, T.\u00a0Bra\u00fcner, S.\u00a0Ghilardi, and L.S. Moss, (eds.), Proc.\u00a0AIML 2012, College Publications, 2012, pp. 368\u2013385.","key":"9928_CR20"},{"unstructured":"Kikot, S., A.\u00a0Kurucz, F.\u00a0Wolter, and M.\u00a0Zakharyaschev, On strictly positive modal logics with S4.3 frames, in G.\u00a0Bezhanishvili, G.\u00a0D\u2019Agostino, G.\u00a0Metcalfe, and T.\u00a0Studer, (eds.), Proc.\u00a0AIML 2018, College Publications, 2018, pp. 427\u2013446.","key":"9928_CR21"},{"issue":"1","key":"9928_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke, C., A.\u00a0Kurz, and Y.\u00a0Venema, Stone coalgebras, Theoretical Computer Science 327(1):109\u2013134, 2004. Selected Papers of CMCS \u201903.","journal-title":"Theoretical Computer Science"},{"key":"9928_CR23","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.tcs.2004.07.026","volume":"327","author":"A Palmigiano","year":"2004","unstructured":"Palmigiano, A., A coalgebraic view on positive modal logic, Theoretical Computer Science 327:175\u2013195, 2004.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Parikh, R., The logic of games and its applications, in Selected Papers of the International Conference on \u201cFoundations of Computation Theory\u201d on Topics in the Theory of Computation, Elsevier North-Holland, Inc., USA, 1985, pp. 111\u2013139.","key":"9928_CR24","DOI":"10.1016\/S0304-0208(08)73078-0"},{"unstructured":"Pauly, M., Logic for Social Software, Ph.D. thesis, University of Amsterdam, 2001.","key":"9928_CR25"},{"issue":"2","key":"9928_CR26","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H. A., Representation of distributive lattices by means of ordered Stone spaces, Bulletin of the London Mathematical Society 2(2):186\u2013190, 1970.","journal-title":"Bulletin of the London Mathematical Society"},{"issue":"3","key":"9928_CR27","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1017\/S1755020310000134","volume":"3","author":"M Sadrzadeh","year":"2010","unstructured":"Sadrzadeh, M., and R.\u00a0Dyckhoff, Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information, Review of Symbolic Logic 3(3):351\u2013373, 2010.","journal-title":"Review of Symbolic Logic"},{"issue":"3","key":"9928_CR28","doi-asserted-by":"publisher","first-page":"992","DOI":"10.2307\/2274758","volume":"54","author":"G Sambin","year":"1989","unstructured":"Sambin, G., and V.\u00a0Vaccaro, A new proof of Sahlqvist\u2019s theorem on modal definability and completeness, The Journal of Symbolic Logic 54(3):992\u2013999, 1989.","journal-title":"The Journal of Symbolic Logic"},{"unstructured":"Santocanale, L., and Y.\u00a0Venema, Uniform interpolation for monotone modal logic, in L.D. Beklemishev, V.\u00a0Goranko, and V.B. Shehtman, (eds.), Proc.\u00a0AIML 2010, College Publications, 2010, pp. 350\u2013370.","key":"9928_CR29"},{"key":"9928_CR30","volume-title":"Topology via Logic","author":"SJ Vickers","year":"1989","unstructured":"Vickers, S. J., Topology via Logic, Cambridge University Press, New York, NY, USA, 1989."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09928-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09928-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09928-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T21:25:50Z","timestamp":1724448350000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09928-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,6]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9928"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09928-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,2,6]]},"assertion":[{"value":"6 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 February 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}