{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T12:41:29Z","timestamp":1694176889952},"reference-count":36,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2022,9,13]],"date-time":"2022-09-13T00:00:00Z","timestamp":1663027200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,24]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Default Logics are a family of non-monotonic formalisms having so-called defaults and extensions as their common foundation. Traditionally, default logics have been defined and dealt with via syntactic notions of consequence in propositional or first-order logic. Here, we build default logics on modal logics. First, we present these default logics syntactically. Then, we elaborate on an algebraic counterpart. More precisely, we extend the notion of a modal algebra to accommodate for defaults and extensions. Our algebraic view of default logics concludes with an algebraic completeness result and a way of comparing default logics borrowing ideas from the concept of bisimulation in modal logic. To our knowledge, this take on default logics approach is novel. Interestingly, it also lays the groundwork for studying default logics from a dynamic logic perspective.<\/jats:p>","DOI":"10.1093\/logcom\/exac051","type":"journal-article","created":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T13:20:29Z","timestamp":1661347229000},"page":"1301-1325","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic tools for default modal systems"],"prefix":"10.1093","volume":"33","author":[{"given":"Valentin","family":"Cassano","sequence":"first","affiliation":[{"name":"Secci\u00f3n de Computaci\u00f3n, Facultad de Matem\u00e1tica, Astronom\u00eda, F\u00edsica y Computaci\u00f3n, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina , Departamento de Matem\u00e1tica, Facultad de Ciencias Exactas, F\u00edsico-Qu\u00edmicas y Naturales, Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, C\u00f3rdoba, Argentina, Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Ciudad Aut\u00f3noma de Buenos Aires, Buenos Aires, Argentina and Center of Theoretical Sciences, Guangdong Technion--Israel Institute of Technology, Shantou, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[{"name":"Secci\u00f3n de Computaci\u00f3n, Facultad de Matem\u00e1tica, Astronom\u00eda, F\u00edsica y Computaci\u00f3n, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina , Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Ciudad Aut\u00f3noma de Buenos Aires, Buenos Aires, Argentina and Center of Theoretical Sciences, Guangdong Technion--Israel Institute of Technology, Shantou, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Areces","sequence":"additional","affiliation":[{"name":"Secci\u00f3n de Computaci\u00f3n, Facultad de Matem\u00e1tica, Astronom\u00eda, F\u00edsica y Computaci\u00f3n, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba , Argentina and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Ciudad Aut\u00f3noma de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo F","family":"Castro","sequence":"additional","affiliation":[{"name":"Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas, F\u00edsico-Qu\u00edmicas y Naturales , Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, C\u00f3rdoba, Argentina and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Ciudad Aut\u00f3noma de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,9,13]]},"reference":[{"key":"2023090708035127800_ref1","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/BFb0018361","article-title":"A final coalgebra theorem","author":"Aczel","year":"1989","journal-title":"Category Theory and Computer Science"},{"key":"2023090708035127800_ref2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/logcom\/exl019","article-title":"The dynamics of syntactic knowledge","volume":"17","author":"\u00c5gotnes","year":"2007","journal-title":"Journal of Logic and Computation"},{"key":"2023090708035127800_ref3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic Reasoning","author":"Antoniou","year":"1997"},{"key":"2023090708035127800_ref4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/S1874-5857(07)80011-2","article-title":"Default logic","volume-title":"The Many Valued and Nonmonotonic Turn in Logic","author":"Antoniou","year":"2007"},{"key":"2023090708035127800_ref5","first-page":"306","volume-title":"Embedding defaults into terminological knowledge representation formalisms","author":"Baader","year":"1992"},{"key":"2023090708035127800_ref6","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"2023090708035127800_ref7","first-page":"1","volume-title":"Modal Logic: A Semantic Perspective","author":"Blackburn"},{"key":"2023090708035127800_ref8","volume-title":"Handbook of Modal Logic","author":"Blackburn","year":"2007"},{"key":"2023090708035127800_ref9","first-page":"675","volume-title":"Interpolation and beth definability in default logics","author":"Cassano","year":"2019"},{"key":"2023090708035127800_ref10","first-page":"103","article-title":"Default modal systems as algebraic updates","volume-title":"Proceedings of DaL\u00ed 2020","author":"Cassano","year":"2020"},{"key":"2023090708035127800_ref11","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","article-title":"Alternative approaches to default logic","volume":"70","author":"Delgrande","year":"1994","journal-title":"Artificial Intelligence"},{"key":"2023090708035127800_ref12","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","article-title":"Reasoning about rational, but not logically omniscient, agents","volume":"7","author":"Duc","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"2023090708035127800_ref13","first-page":"82","volume-title":"Dynamic epistemic logics of introspection","author":"Fervari","year":"2017"},{"key":"2023090708035127800_ref14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jlamp.2019.06.005","article-title":"Introspection as an action in relational models","volume":"108","author":"Fervari","year":"2019","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"2023090708035127800_ref15","first-page":"85","volume-title":"Modal Proof Theory","author":"Fitting"},{"key":"2023090708035127800_ref16","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1111\/j.1467-8640.1994.tb00168.x","article-title":"Default logics: a unified view","volume":"10","author":"Froidevaux","year":"1994","journal-title":"Computational Intelligence"},{"key":"2023090708035127800_ref17","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"Gabbay","year":"2003"},{"key":"2023090708035127800_ref18","article-title":"Undergraduate Texts in Mathematics","author":"Givant","year":"2009","journal-title":"Introduction to Boolean Algebras"},{"key":"2023090708035127800_ref19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"2023090708035127800_ref20","doi-asserted-by":"crossref","first-page":"4071","DOI":"10.1007\/s11229-015-0733-1","article-title":"Syntactic awareness in logical dynamics","volume":"192","author":"Grossi","year":"2015","journal-title":"Synthese"},{"key":"2023090708035127800_ref21","first-page":"434","article-title":"Generality and equivalence relations in default logic","volume-title":"Proceedings of AAAI 2007","author":"Inoue","year":"2007"},{"key":"2023090708035127800_ref22","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10849-008-9071-8","article-title":"Epistemic logic for rule-based agents","volume":"18","author":"Jago","year":"2009","journal-title":"Journal of Logic, Language and Information"},{"key":"2023090708035127800_ref23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","article-title":"Considerations on default logic: an alternative approach","volume":"4","author":"\u0141ukaszewicz","year":"1988","journal-title":"Computational Intelligence"},{"key":"2023090708035127800_ref24","first-page":"193","article-title":"Mathematics of public announcements","volume-title":"Proceedings of LORI 2011","author":"Ma"},{"key":"2023090708035127800_ref25","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1016\/j.apal.2013.11.004","article-title":"Algebraic semantics and model completeness for intuitionistic public announcement logic","volume":"165","author":"Ma","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"2023090708035127800_ref26","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","article-title":"Logics of public communications","volume":"158","author":"Plaza","year":"2007","journal-title":"Synthese"},{"issue":"132","key":"2023090708035127800_ref27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"2023090708035127800_ref28","volume-title":"Steps Out of Logical Omniscience","author":"Solaki","year":"2017. -2017-12"},{"key":"2023090708035127800_ref29","article-title":"Relating coalgebraic notions of bisimulation","volume":"7","author":"Staton","year":"2011","journal-title":"Logical Methods in Computer Science"},{"key":"2023090708035127800_ref30","first-page":"81","article-title":"Strong equivalence for logic programs and default theories (made easy)","volume-title":"Proceedings of LPNMR 2001","author":"Turner","year":"2001"},{"key":"2023090708035127800_ref31","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","article-title":"Dynamic logics of evidence-based beliefs","volume":"99","author":"van Benthem","year":"2011","journal-title":"Studia Logica"},{"key":"2023090708035127800_ref32","first-page":"5","article-title":"The dynamics of awareness","volume":"177","author":"van Benthem","year":"2010","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"2023090708035127800_ref33","first-page":"293","article-title":"On epistemic logic and logical omniscience","volume-title":"Proceedings of TARK 1986","author":"Vardi","year":"1986"},{"key":"2023090708035127800_ref34","first-page":"239","article-title":"Explicit and implicit knowledge in neighbourhood models","volume-title":"Proceedings of LORI 2013 Workshop","author":"Vel\u00e1zquez-Quesada","year":"2013"},{"key":"2023090708035127800_ref35","first-page":"263","volume-title":"Algebras and General Frames","author":"Venema"},{"key":"2023090708035127800_ref36","first-page":"331","volume-title":"Algebras and Coalgebras","author":"Venema"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/6\/1301\/51402415\/exac051.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/6\/1301\/51402415\/exac051.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T08:06:27Z","timestamp":1694073987000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/33\/6\/1301\/6694245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,13]]},"references-count":36,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,9,13]]},"published-print":{"date-parts":[[2023,8,24]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac051","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,9]]},"published":{"date-parts":[[2022,9,13]]}}}