@article(ADF2016, author = {{\r A}gotnes, T. and H. van Ditmarsch and T. French}, year = {2016}, title = {The Undecidability of Quantified Announcements}, journal = {Studia Logica}, volume = {104}, number = {4}, pages = {597--640}, doi = {10.1007/s11225-016-9657-0}, ) @article(ABDS2010, author = {{\r A}gotnes, Thomas and Philippe Balbiani and Hans van Ditmarsch and Pablo Seban}, year = {2010}, title = {Group Announcement Logic}, journal = {Journal of Applied Logic}, volume = {8}, number = {1}, pages = {62--81}, doi = {10.1016/j.jal.2008.12.002}, ) @article(AGM1985, author = {Carlos E. Alchourr\'on and Peter G\"ardenfors and David Makinson}, year = {1985}, title = {On the Logic of Theory Change: Partial Meet Contraction and Revision Functions}, journal = {The Journal of Symbolic Logic}, volume = {50}, pages = {510--530}, doi = {10.2307/2274239}, ) @article(ADGW2021, author = {Natasha Alechina and Hans van Ditmarsch and Rustam Galimullin and Tuo Wang}, year = {2021}, title = {Verification and Strategy Synthesis for Coalition Announcement Logic}, journal = {Journal of Logic, Language and Information}, volume = {30}, number = {4}, pages = {671--700}, doi = {10.1007/s10849-021-09339-6}, ) @article(BBDHHL2008, author = {Philippe Balbiani and Alexandru Baltag and Hans van Ditmarsch and Andreas Herzig and Tomohiro Hoshi and Tiago de Lima}, year = {2008}, title = {`Knowable' as `Known after an Announcement'}, journal = {The Review of Symbolic Logic}, volume = {1}, number = {3}, pages = {305--334}, doi = {10.1017/S1755020308080210}, ) @inproceedings(BDK2013, author = {Philippe Balbiani and Hans van Ditmarsch and Andrey Kudinov}, year = {2013}, title = {Subset Space Logic with Arbitrary Announcements}, booktitle = {Proceedings of ICLA 2013}, pages = {233--244}, doi = {10.1007/978-3-642-36039-8_21}, ) @inproceedings(BMS1998, author = {Alexandru Baltag and Lawrence S. Moss and S{\text{\normalfont L}\xspace}awomir Solecki}, year = {1998}, title = {The Logic of Public Announcements, Common Knowledge, and Private Suspicions}, editor = {I. Gilboa}, booktitle = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge ({TARK 98})}, pages = {43--56}, doi = {10.5555/645876.671885}, ) @article(BOS2023, author = {Alexandru Baltag and Ayb{\"u}ke {\"O}zg{\"u}n and Ana Lucia Vargas Sandoval}, year = {2023}, title = {Arbitrary Public Announcement Logic with Memory}, journal = {Journal of Philosophical Logic}, volume = {52}, number = {1}, pages = {53--110}, doi = {10.1007/s10992-022-09664-6}, ) @inproceedings(BOS2017, author = {Alexandru Baltag and Ayb{\"u}ke {\"O}zg{\"u}n and Vargas Sandoval, Ana Lucia}, year = {2017}, title = {Topo-Logic as a Dynamic-Epistemic Logic}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, booktitle = {Logic, Rationality, and Interaction}, publisher = {Springer Berlin Heidelberg}, pages = {330--346}, doi = {10.1007/978-3-662-55665-8_23}, ) @article(DF2022, author = {Hans van Ditmarsch and Tim French}, year = {2022}, title = {Quantifying over Boolean announcements}, journal = {Logical Methods in Computer Science}, volume = {18}, number = {1}, doi = {10.46298/lmcs-18(1:20)2022}, ) @inproceedings(DFP2010, author = {Hans van Ditmarsch and Tim French and Sophie Pinchinat}, year = {2010}, title = {Future Event Logic -- Axioms and Complexity}, editor = {Lev D. Beklemishev and Valentin Goranko and Valentin B. Shehtman}, booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010}, publisher = {College Publications}, pages = {77--99}, ) @article(DHLM2009, author = {Hans van Ditmarsch and Andreas Herzig and J{\'e}r{\^o}me Lang and Pierre Marquis}, year = {2009}, title = {Introspective Forgetting}, journal = {Synthese}, volume = {169}, number = {2}, pages = {405--423}, doi = {10.1007/s11229-009-9554-4}, ) @book(vDvdHK2008, author = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi}, year = {2008}, title = {Dynamic Epistemic Logic}, series = {Synthese Library}, volume = {337}, publisher = {Springer Netherlands}, doi = {10.1007/978-1-4020-5839-4}, ) @inproceedings(DLW2021, author = {Huimin Dong and Xu Li and Y\`{i} N. W{\'{a}}ng}, year = {2021}, title = {Weighted Modal Logic in Epistemic and Deontic Contexts}, editor = {Sujata Ghosh and Thomas Icard}, booktitle = {Proceedings of the Eighth International Conference on Logic, Rationality and Interaction (LORI 2021)}, series = {Lecture Notes of Theoretical Computer Science}, volume = {13039}, publisher = {Springer}, pages = {73--87}, doi = {10.1007/978-3-030-88708-7_6}, ) @article(FH1988, author = {Ronald Fagin and Joseph Y. Halpern}, year = {1988}, title = {Belief, Awareness, and Limited Reasoning}, journal = {Artificial Intelligence}, volume = {34}, number = {1}, pages = {39--76}, doi = {10.1016/0004-3702(87)90003-8}, ) @book(FHMV1995, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, year = {1995}, title = {Reasoning about Knowledge}, publisher = {The MIT Press}, doi = {10.7551/mitpress/5803.001.0001}, ) @article(FSU1993, author = {Aviezri S Fraenkel and Edward R Scheinerman and Daniel Ullman}, year = {1993}, title = {Undirected Edge Geography}, journal = {Theoretical Computer Science}, volume = {112}, number = {2}, pages = {371--381}, doi = {10.1016/0304-3975(93)90026-P}, ) @inproceedings(FD2008, author = {Tim French and Hans van Ditmarsch}, year = {2008}, title = {Undecidability for Arbitrary Public Announcement Logic}, editor = {Carlos Areces and Robert Goldblatt}, booktitle = {Advances in Modal Logic}, volume = {7}, publisher = {College Publications}, pages = {23--42}, ) @inproceedings(GAD2018, author = {Rustam Galimullin and Natasha Alechina and Hans van Ditmarsch}, year = {2018}, title = {Model Checking for Coalition Announcement Logic}, editor = {Frank Trollmann and Anni-Yasmin Turhan}, booktitle = {KI 2018: Advances in Artificial Intelligence}, publisher = {Springer International Publishing}, address = {Cham}, pages = {11--23}, doi = {10.1007/978-3-030-00111-7_2}, ) @article(HLMP2018, author = {Mikkel Hansen and Kim Guldstrand Larsen and Radu Mardare and Mathias Ruggaard Pedersen}, year = {2018}, title = {Reasoning about Bounds in Weighted Transition Systems}, journal = {Logical Methods in Computer Science}, volume = {14}, number = {4}, pages = {1--32}, doi = {10.23638/LMCS-14(4:19)2018}, ) @book(Hintikka1962, author = {Jaakko Hintikka}, year = {1962}, title = {Knowledge and Belief: An Introduction to the Logic of Two Notions}, publisher = {Cornell University Press}, address = {Ithaca, New York}, ) @article(LLM2003, author = {J\^{o}me Lang and Paolo Liberatore and Pierre Marquis}, year = {2003}, title = {Propositional Independence: Formula-Variable Independence and Forgetting}, journal = {Journal of Artificial Intelligence Research}, volume = {18}, number = {1}, pages = {391--443}, doi = {10.5555/1622420.1622431}, ) @article(LM2014, author = {Kim G. Larsen and Radu Mardare}, year = {2014}, title = {Complete Proof Systems for Weighted Modal Logic}, journal = {Theoretical Computer Science}, volume = {546}, number = {12}, pages = {164--175}, doi = {10.1016/j.tcs.2014.03.007}, ) @inproceedings(LW2022b, author = {Xiaolong Liang and Y\`{i} N. W{\'{a}}ng}, year = {2022}, title = {Epistemic Logic over Weighted Graphs}, booktitle = {Proceedings of the Second International Workshop on Logics for New-Generation AI}, publisher = {College Publications}, pages = {43--58}, ) @article(LS1980, author = {David Lichtenstein and Michael Sipser}, year = {1980}, title = {{GO} Is Polynomial-Space Hard}, journal = {Journal of the {ACM}}, volume = {27}, number = {2}, pages = {393--401}, doi = {10.1145/322186.322201}, ) @inproceedings(LR1994, author = {Fangzhen Lin and Ray Reiter}, year = {1994}, title = {Forget It!}, booktitle = {Working Notes of {AAAI} Fall Symposium on Relevance}, pages = {154--159}, ) @book(MvdH1995, author = {John-Jules Ch. Meyer and Wiebe van der Hoek}, year = {1995}, title = {Epistemic Logic for AI and Computer Science}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511569852}, ) @article(NT2015, author = {Pavel Naumov and Jia Tao}, year = {2015}, title = {Logic of Confidence}, journal = {Synthese}, volume = {192}, pages = {1821--1838}, doi = {10.1007/s11229-014-0655-3}, ) @article(Pauly2002, author = {Marc Pauly}, year = {2002}, title = {A Modal Logic for Coalition Power in Games}, journal = {Journal of Logic Computation}, volume = {12}, number = {1}, pages = {149--166}, doi = {10.1093/logcom/12.1.149}, ) @inproceedings(Plaza1989, author = {Jan A. Plaza}, year = {1989}, title = {Logics of Public Communications}, editor = {M. L. Emrich and M. S. Pfeifer and M. Hadzikadic and Z. W. Ras}, booktitle = {Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS '89)}, organization = {Oak Ridge National Laboratory}, pages = {201--216}, ) @article(Quine1956, author = {W. V. Quine}, year = {1956}, title = {Quantifiers and Propositional Attitudes}, journal = {The Journal of Philosophy}, volume = {53}, number = {5}, pages = {177--187}, doi = {10.2307/2022451}, ) @article(Schaefer1978, author = {Thomas J. Schaefer}, year = {1978}, title = {On the Complexity of Some Two-Person Perfect-Information Games}, journal = {Journal of Computer and System Sciences}, volume = {16}, number = {2}, pages = {185--225}, doi = {10.1016/0022-0000(78)90045-4}, ) @inproceedings(WA2013SSPAL, author = {Y\`{i} N. W\'{a}ng and {\r A}gotnes, Thomas}, year = {2013}, title = {Subset Space Public Announcement Logic}, editor = {Kamal Lodaya}, booktitle = {Proceedings of ICLA}, series = {Lecture Notes in Computer Science}, volume = {7750}, publisher = {Springer}, pages = {245--257}, doi = {10.1007/978-3-642-36039-8_22}, ) @book(Wright1951, author = {Georg H. von Wright}, year = {1951}, title = {An Essay in Modal Logic}, series = {Studies in Logic and the Foundations of Mathematics}, publisher = {North-Holland Publishing Company}, ) @article(XW2018, author = {Kang Xu and Y\`{i} N. W\'{a}ng}, year = {2018}, title = {Group Simple Announcement Logic}, journal = {Studies in Logic}, volume = {11}, number = {1}, pages = {1--22}, ) @article(ZZ2009, author = {Yan Zhang and Yi Zhou}, year = {2009}, title = {Knowledge forgetting: Properties and applications}, journal = {Artificial Intelligence}, volume = {173}, number = {16}, pages = {1525--1537}, doi = {10.1016/j.artint.2009.07.005}, )