{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T23:47:33Z","timestamp":1771890453100,"version":"3.50.1"},"reference-count":48,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1093\/jigpal\/jzv049","type":"journal-article","created":{"date-parts":[[2015,10,29]],"date-time":"2015-10-29T23:18:34Z","timestamp":1446160714000},"page":"942-965","source":"Crossref","is-referenced-by-count":9,"title":["Forgetting complex propositions"],"prefix":"10.1093","volume":"23","author":[{"given":"David","family":"Fern\u00e1ndez\u2013Duque","sequence":"first","affiliation":[]},{"given":"\u00c1ngel","family":"Nepomuceno\u2013Fern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Enrique","family":"Sarri\u00f3n\u2013Morrillo","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Soler\u2013Toscano","sequence":"additional","affiliation":[]},{"given":"Fernando R.","family":"Vel\u00e1zquez\u2013Quesada","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2015,10,29]]},"reference":[{"key":"2015112406573837000_23.6.942.1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"2015112406573837000_23.6.942.2","unstructured":"A. Baltag, L. S. Moss and S. Solecki. The logic of public announcements, common knowledge and privatesuspicions. Technical Report SEN-R9922, CWI, Amsterdam, 1999."},{"key":"2015112406573837000_23.6.942.3","first-page":"13","article-title":"A qualitative theory of dynamic interactive belief revision","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT7)","volume":"3","author":"Baltag","year":"2008"},{"key":"2015112406573837000_23.6.942.4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.01.005"},{"key":"2015112406573837000_23.6.942.5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm051"},{"key":"2015112406573837000_23.6.942.6","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00248151","article-title":"Iterated revision and minimal change of conditional beliefs","volume":"25","author":"Boutilier","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"2015112406573837000_23.6.942.7","unstructured":"J. de Kleer. An improved incremental algorithm for generating prime implicates. In W. R. Swartout, ed., Proceedings of the 10th National Conference on Artificial Intelligence. San Jose, CA, July 12\u201316, 1992, pp. 780\u2013785. AAAI Press\/The MIT Press, 1992."},{"key":"2015112406573837000_23.6.942.8","unstructured":"K. Engelhardt, R. van der Meyden and K. Su. Modal logics with a linear hierarchy of local propositional quantifiers. In P. Balbiani, N. Suzuki, F. Wolter and M. Zakharyaschev, eds, Advances in Modal Logic 4, papers from the fourth conference on \u2018Advances in Modal logic\u2019, held in Toulouse (France) in October 2002, pp. 9\u201330. King's College Publications, 2002."},{"key":"2015112406573837000_23.6.942.9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008241816078"},{"key":"2015112406573837000_23.6.942.10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9817-0_12"},{"key":"2015112406573837000_23.6.942.11","unstructured":"T. French. Bisimulation Quantifiers for Modal Logic. PhD Thesis, University of Western Australia, 2006."},{"key":"2015112406573837000_23.6.942.12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","article-title":"Theory contraction through base contraction","volume":"20","author":"Fuhrmann","year":"1991","journal-title":"Journal of Philosophical Logic"},{"key":"2015112406573837000_23.6.942.13","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors","year":"1988"},{"key":"2015112406573837000_23.6.942.14","first-page":"83","article-title":"Revisions of knowledge systems using epistemic entrenchment","author":"G\u00e4rdenfors","year":"1988","journal-title":"TARK II"},{"key":"2015112406573837000_23.6.942.15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008222603071"},{"key":"2015112406573837000_23.6.942.16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","article-title":"Two modellings for theory change","volume":"17","author":"Grove","year":"1988","journal-title":"Journal of Philosophical Logic"},{"key":"2015112406573837000_23.6.942.17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01181682"},{"key":"2015112406573837000_23.6.942.18","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80029-6"},{"key":"2015112406573837000_23.6.942.19","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9175-5"},{"key":"2015112406573837000_23.6.942.20","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","article-title":"Propositional independence: Formula-variable independence and forgetting","volume":"18","author":"Lang","year":"2003","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"2015112406573837000_23.6.942.21","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-006-9143-8"},{"key":"2015112406573837000_23.6.942.22","volume-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"2015112406573837000_23.6.942.23","first-page":"154","article-title":"Forget it!","volume-title":"Proceedings of AAAI Fall Symposium on Relevance","author":"Lin","year":"1994"},{"key":"2015112406573837000_23.6.942.24","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-010-9206-x"},{"key":"2015112406573837000_23.6.942.25","doi-asserted-by":"crossref","unstructured":"A. C. Nayak, Y. Chen and F. Lin. Forgetting and knowledge update. In A. Sattar and B. H. Kang, eds, AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4\u20138, 2006, Proceedings, Vol. 4304 of Lecture Notes in Computer Science. pp. 131\u2013140. Springer, 2006.","DOI":"10.1007\/11941439_17"},{"key":"2015112406573837000_23.6.942.26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-24598-0_13","article-title":"Public and secret forgetting of propositional formulas","volume-title":"Proceedings CAEPIA 2015","author":"Nepomuceno-Fern\u00e1ndez","year":"2015"},{"key":"2015112406573837000_23.6.942.27","doi-asserted-by":"crossref","unstructured":"M. Pagnucco. Knowledge compilation for belief change. In A. Sattar and B. H. Kang, eds, AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4\u20138, 2006, Proceedings, Vol. 4304 of Lecture Notes in Computer Science. pp. 90\u201399. Springer, 2006.","DOI":"10.1007\/11941439_13"},{"key":"2015112406573837000_23.6.942.28","unstructured":"J. A. Plaza. Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic and Z. W. Ras, eds, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216, Tennessee, USA, 1989. Oak Ridge National Laboratory, ORNL\/DSRD-24."},{"key":"2015112406573837000_23.6.942.29","doi-asserted-by":"publisher","DOI":"10.2307\/2308219"},{"key":"2015112406573837000_23.6.942.30","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005721905269"},{"key":"2015112406573837000_23.6.942.31","doi-asserted-by":"publisher","DOI":"10.1007\/BF00869346"},{"key":"2015112406573837000_23.6.942.32","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1016\/B978-0-444-51726-5.50016-9","article-title":"Information structures in belief revision","volume-title":"Philosophy Of Information","author":"Rott","year":"2008"},{"key":"2015112406573837000_23.6.942.33","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530750"},{"key":"2015112406573837000_23.6.942.34","doi-asserted-by":"crossref","unstructured":"A. Sattar and B. H. Kang, eds. AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4\u20138, 2006, Proceedings, Vol. 4304 of Lecture Notes in Computer Science. Springer, 2006.","DOI":"10.1007\/11941439"},{"key":"2015112406573837000_23.6.942.35","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1613\/jair.2750","article-title":"Variable forgetting in reasoning about knowledge","volume":"35","author":"Su","year":"2009","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"2015112406573837000_23.6.942.36","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.129-155"},{"key":"2015112406573837000_23.6.942.37","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-010-9764-9"},{"key":"2015112406573837000_23.6.942.38","first-page":"61","article-title":"Knowledge, awareness, and bisimulation","volume-title":"TARK","author":"van Ditmarsch","year":"2013"},{"key":"2015112406573837000_23.6.942.39","first-page":"405","article-title":"Introspective forgetting","volume":"169","author":"van Ditmarsch","year":"2009","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"2015112406573837000_23.6.942.40","article-title":"Dynamic Epistemic Logic","volume-title":"Synthese Library Series","volume":"337","author":"van Ditmarsch","year":"2007"},{"key":"2015112406573837000_23.6.942.41","first-page":"283","article-title":"Inference and update","volume":"169","author":"Vel\u00e1zquez-Quesada","year":"2009","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"2015112406573837000_23.6.942.42","first-page":"239","article-title":"Explicit and implicit knowledge in neighbourhood models","volume":"8196","author":"Vel\u00e1zquez-Quesada","year":"2013","journal-title":"LORI"},{"key":"2015112406573837000_23.6.942.43","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-014-9193-0"},{"key":"2015112406573837000_23.6.942.44","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2013.07.002"},{"key":"2015112406573837000_23.6.942.45","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-012-0233-5"},{"key":"2015112406573837000_23.6.942.46","unstructured":"Y. Zhang and Y. Zhou. Properties of knowledge forgetting. In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR-2008), pp. 68\u201375, 2008."},{"key":"2015112406573837000_23.6.942.47","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.07.005"},{"key":"2015112406573837000_23.6.942.48","doi-asserted-by":"crossref","unstructured":"Z. Q. Zhuang, M. Pagnucco and T. Meyer. Implementing iterated belief change via prime implicates. In M. A. Orgun and J. Thornton, eds, AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2\u20136, 2007, Proceedings, Vol. 4830 of Lecture Notes in Computer Science, pp. 507\u2013518. Springer, 2007.","DOI":"10.1007\/978-3-540-76928-6_52"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T23:45:29Z","timestamp":1567295129000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzv049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,29]]},"references-count":48,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2015,11,24]]},"published-print":{"date-parts":[[2015,12]]}},"alternative-id":["10.1093\/jigpal\/jzv049"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzv049","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,29]]}}}