{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:53:15Z","timestamp":1757623995878,"version":"3.44.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031947476"},{"type":"electronic","value":"9783031947483"}],"license":[{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"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":[[2026]]},"DOI":"10.1007\/978-3-031-94748-3_8","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:30Z","timestamp":1754939670000},"page":"99-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Pivotal Rules Consequence in\u00a0Action Model Logic"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Cassano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabine","family":"Frittella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Wang, K.: Default logic. In: Gabbay and Woods [6], pp. 517\u2013555","DOI":"10.1016\/S1874-5857(07)80011-2"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Areces, C., Cassano, V., Fervari, R.: Non-monotonic reasoning via dynamic consequence. In: Proceedings of WoLLIC 2022. LNCS, vol. 13468, pp. 395\u2013410. Springer (2022)","DOI":"10.1007\/978-3-031-15298-6_25"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"182","DOI":"10.26686\/ajl.v6i0.1801","volume":"6","author":"J van Benthem","year":"2008","unstructured":"van Benthem, J.: Logical dynamics meets logical pluralism? Australas. J. Logic 6, 182\u2013209 (2008)","journal-title":"Australas. J. Logic"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1017\/S1755020313000294","volume":"6","author":"A Cord\u00f3n-Franco","year":"2013","unstructured":"Cord\u00f3n-Franco, A., van Ditmarsch, H., Nepomuceno-Fern\u00e1ndez, \u00c1.: Dynamic consequence and public announcement. Rev. Symbolic Logic 6(4), 659\u2013679 (2013)","journal-title":"Rev. Symbolic Logic"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Hoek, W., Kooi, B.: Dynamic Epistemic Logic, Synthese Library, vol.\u00a0337. Springer, Cham (2008)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"8_CR6","unstructured":"Gabbay, D., Woods, J.: The Many Valued and Nonmonotonic Turn in Logic, Handbook of the History of Logic, vol.\u00a08. North-Holland, Dutch (2007)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"G\u00f3mez \u00c1lvarez, L., Rudolph, S.: Standpoint logic: Multi-perspective knowledge representation. In: Proceedings of FOIS 2021. Frontiers in Artificial Intelligence and Applications, vol.\u00a0344, pp. 3\u201317. IOS Press (2021)","DOI":"10.3233\/FAIA210367"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/jigpal\/11.1.69","volume":"11","author":"D Makinson","year":"2003","unstructured":"Makinson, D.: Bridges between classical and nonmonotonic logic. Logic J. IGPL 11(1), 69\u201396 (2003)","journal-title":"Logic J. IGPL"},{"key":"8_CR9","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic Logic, Texts in Computing, vol.\u00a05. College Publications, London (2005)"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"issue":"1\u20132","key":"8_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94748-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T10:31:31Z","timestamp":1757413891000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,12]]},"assertion":[{"value":"12 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}