{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:01:48Z","timestamp":1743120108209,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_17","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"235-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Modal Logic Analysis of\u00a0the\u00a0MUTEX Variable Coverage Theorem"],"prefix":"10.1007","author":[{"given":"Michael","family":"Mendler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"17_CR1","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw Hill (1998)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0454-0_1","volume-title":"Handbook of Philosophical Logic","author":"R Bull","year":"2001","unstructured":"Bull, R., Segerberg, K.: Basic modal logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 3, pp. 1\u201381. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-017-0454-0_1"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Basic modal logic. In: Handbook of Logic in Artificial Intelligence. Oxford University Press (1993)","DOI":"10.1093\/oso\/9780198537458.003.0006"},{"key":"17_CR4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0035388","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P Kelb","year":"1997","unstructured":"Kelb, P., Margaria, T., Mendler, M., Gsottberger, C.: Mosel: a flexible toolset for monadic second-order logic. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 183\u2013202. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0035388"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/3-540-63166-6_45","volume-title":"Computer Aided Verification","author":"P Kelb","year":"1997","unstructured":"Kelb, P., Margaria, T., Mendler, M., Gsottberger, C.: Mosel: a sound and efficient tool for M2L(Str). In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 448\u2013451. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63166-6_45"},{"key":"17_CR7","unstructured":"Kurucz, A., Wolter, F., Zakharyashev, M., Gabbay, D.M.: Many-Dimensional Modal Logics: Theory and Applications. North Holland (2003)"},{"key":"17_CR8","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers (1996)"},{"key":"17_CR9","unstructured":"Margaria, T., Mendler, M.: Model-based automatic synthesis and analysis in second-order monadic logic. In: ACM SIG-PLAN Workshop on Automated Analysis of Software, AAS 1997, pp. 99\u2013112 (1997)"},{"key":"17_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511983382","volume-title":"First Steps in Modal Logic","author":"S Popkorn","year":"1994","unstructured":"Popkorn, S.: First Steps in Modal Logic. Cambridge University Press, Cambridge (1994)"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:53Z","timestamp":1738235753000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author(s) has no competing interests to declare that are relevant to the content of this manuscript.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}