{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:04:13Z","timestamp":1743001453709,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030658397"},{"type":"electronic","value":"9783030658403"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-65840-3_7","type":"book-chapter","created":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T09:04:02Z","timestamp":1608541442000},"page":"103-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Default Modal Systems as Algebraic Updates"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Cassano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Areces","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo F.","family":"Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,22]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Alechina, N.: The dynamics of syntactic knowledge. J. Log. Comput. 17(1), 83\u2013116 (2007)","journal-title":"J. Log. Comput."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Wang, K.: Default logic. In: Gabbay, D., Woods, J. (eds.) The Many Valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic, North-Holland, vol. 8, pp. 517\u2013555 (2007)","DOI":"10.1016\/S1874-5857(07)80011-2"},{"key":"7_CR3","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. In: Nebel, B., Rich, C., Swartout, W. (eds.) 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 306\u2013317. Morgan Kaufmann (1992)"},{"volume-title":"Modal Logic","year":"2002","key":"7_CR4","unstructured":"Blackburn, P., de Rijke, M., Venema, Y. (eds.): Modal Logic. Cambridge University Press, Cambridge (2002)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-3-030-19570-0_44","volume-title":"Logics in Artificial Intelligence","author":"V Cassano","year":"2019","unstructured":"Cassano, V., Fervari, R., Areces, C., Castro, P.F.: Interpolation and beth definability in default logics. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 675\u2013691. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_44"},{"issue":"1\u20132","key":"7_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J Delgrande","year":"1994","unstructured":"Delgrande, J., Schaub, T., Jackson, W.: Alternative approaches to default logic. Artif. Intell. 70(1\u20132), 167\u2013237 (1994)","journal-title":"Artif. Intell."},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"HN Duc","year":"1997","unstructured":"Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. J. Log. Comput. 7(5), 633\u2013648 (1997)","journal-title":"J. Log. Comput."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-73579-5_6","volume-title":"Dynamic Logic. New Trends and Applications","author":"R Fervari","year":"2018","unstructured":"Fervari, R., Vel\u00e1zquez-Quesada, F.R.: Dynamic epistemic logics of introspection. In: Madeira, A., Benevides, M. (eds.) DALI 2017. LNCS, vol. 10669, pp. 82\u201397. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73579-5_6"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2019.06.005","volume":"108","author":"R Fervari","year":"2019","unstructured":"Fervari, R., Vel\u00e1zquez-Quesada, F.R.: Introspection as an action in relational models. J. Log. Algebraic Methods Program. 108, 1\u201323 (2019)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Modal proof theory. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pages 85\u2013138. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80005-X"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1111\/j.1467-8640.1994.tb00168.x","volume":"10","author":"C Froidevaux","year":"1994","unstructured":"Froidevaux, C., Mengin, J.: Default logics: a unified view. Computat. Intell. 10, 331\u2013369 (1994)","journal-title":"Computat. Intell."},{"key":"7_CR12","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"7_CR13","series-title":"Undergraduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68436-9","volume-title":"Introduction to Boolean Algebras","author":"S Givant","year":"2009","unstructured":"Givant, S., Halmos, P.: Introduction to Boolean Algebras. Undergraduate Texts in Mathematics. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-0-387-68436-9"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: gains and questions. J. Log. Comput. 2(1), 5\u201330 (1992)","journal-title":"J. Log. Comput."},{"issue":"12","key":"7_CR15","doi-asserted-by":"publisher","first-page":"4071","DOI":"10.1007\/s11229-015-0733-1","volume":"192","author":"D Grossi","year":"2015","unstructured":"Grossi, D., Vel\u00e1zquez-Quesada, F.R.: Syntactic awareness in logical dynamics. Synthese 192(12), 4071\u20134105 (2015). https:\/\/doi.org\/10.1007\/s11229-015-0733-1","journal-title":"Synthese"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10849-008-9071-8","volume":"18","author":"M Jago","year":"2009","unstructured":"Jago, M.: Epistemic logic for rule-based agents. J. Log. Lang. Inform. 18(1), 131\u2013158 (2009)","journal-title":"J. Log. Lang. Inform."},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W \u0141ukaszewicz","year":"1988","unstructured":"\u0141ukaszewicz, W.: Considerations on default logic: an alternative approach. Comput. Intell. 4, 1\u201316 (1988)","journal-title":"Comput. Intell."},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-24130-7_14","volume-title":"Logic, Rationality, and Interaction","author":"M Ma","year":"2011","unstructured":"Ma, M.: Mathematics of public announcements. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS (LNAI), vol. 6953, pp. 193\u2013205. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24130-7_14"},{"key":"7_CR19","unstructured":"Mikitiuk, A., Truszczynski, M.: Constrained and rational default logics. In: Proceedings of IJCAI 1995, pp. 1509\u20131517 (1995)"},{"issue":"2","key":"7_CR20","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":"7_CR21","first-page":"81","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. AI 13(1\u20132), 81\u2013132 (1980)","journal-title":"AI"},{"key":"7_CR22","unstructured":"Schaub, T.: On constrained default theories. In: 11th European Conference on Artificial Intelligence (ECAI 1992), pp. 304\u2013308 (1992)"},{"key":"7_CR23","unstructured":"Solaki, A.: Steps out of logical omniscience. Master\u2019s thesis, Institute for Logic, Language and Computation, Amsterdam (2017). MoL-2017-12"},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J van Benthem","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Log. 99(1), 61\u201392 (2011)","journal-title":"Stud. Log."},{"issue":"Supplement 1","key":"7_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s11229-010-9764-9","volume":"177","author":"J van Benthem","year":"2010","unstructured":"van Benthem, J., Vel\u00e1zquez-Quesada, F.R.: The dynamics of awareness. Synthese (Knowl. Rational. Action) 177(Supplement 1), 5\u201327 (2010)","journal-title":"Synthese (Knowl. Rational. Action)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: On epistemic logic and logical omniscience. In: Proceedings of TARK, pp. 293\u2013305. Morgan Kaufmann (1986)","DOI":"10.1016\/B978-0-934613-04-0.50024-7"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-40948-6_19","volume-title":"Logic, Rationality, and Interaction","author":"FR Vel\u00e1zquez-Quesada","year":"2013","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Explicit and implicit knowledge in neighbourhood models. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 239\u2013252. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40948-6_19"},{"key":"7_CR28","unstructured":"Venema, Y.: Algebras and general frames. In: Blackburn et al. [4], pp. 263\u2013333"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-65840-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,18]],"date-time":"2021-04-18T00:26:53Z","timestamp":1618705613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-65840-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030658397","9783030658403"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-65840-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DaLi","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Dynamic Logic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"DaLi2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cs.cas.cz\/dali2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"55% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}