Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Yì N. Wáng
@article{DBLP:journals/logcom/BaroniBW23, author = {Pietro Baroni and Christoph Benzm{\"{u}}ller and Y{\`{\i}} N. W{\'{a}}ng}, title = {Preface: Special Issue on Logic and Argumentation}, journal = {J. Log. Comput.}, volume = {33}, number = {2}, pages = {189--191}, year = {2023}, url = {https://doi.org/10.1093/logcom/exac091}, doi = {10.1093/LOGCOM/EXAC091}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/BaroniBW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-00264, author = {Xiaolong Liang and Y{\`{\i}} N. W{\'{a}}ng}, title = {Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge}, journal = {CoRR}, volume = {abs/2310.00264}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.00264}, doi = {10.48550/ARXIV.2310.00264}, eprinttype = {arXiv}, eprint = {2310.00264}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-00264.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/HoekKW22, author = {Wiebe van der Hoek and Louwe B. Kuijer and Y{\`{\i}} N. W{\'{a}}ng}, title = {Who Should Be My Friends? Social Balance from the Perspective of Game Theory}, journal = {J. Log. Lang. Inf.}, volume = {31}, number = {2}, pages = {189--211}, year = {2022}, url = {https://doi.org/10.1007/s10849-022-09356-z}, doi = {10.1007/S10849-022-09356-Z}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/HoekKW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/LiangW22, author = {Xiaolong Liang and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Sankalp Khanna and Jian Cao and Quan Bai and Guandong Xu}, title = {Epistemic Logic via Distance and Similarity}, booktitle = {{PRICAI} 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence, {PRICAI} 2022, Shanghai, China, November 10-13, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13629}, pages = {32--45}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-20862-1\_3}, doi = {10.1007/978-3-031-20862-1\_3}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/LiangW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/DongPW21, author = {Huimin Dong and Jun Pang and Y{\`{\i}} N. W{\'{a}}ng}, title = {Preface of the special issue'Logic, argumentation and AI' in {JLC}}, journal = {J. Log. Comput.}, volume = {31}, number = {8}, pages = {1901--1902}, year = {2021}, url = {https://doi.org/10.1093/logcom/exab047}, doi = {10.1093/LOGCOM/EXAB047}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/DongPW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/AgotnesW21, author = {Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, title = {Group belief}, journal = {J. Log. Comput.}, volume = {31}, number = {8}, pages = {1959--1978}, year = {2021}, url = {https://doi.org/10.1093/logcom/exaa068}, doi = {10.1093/LOGCOM/EXAA068}, timestamp = {Thu, 13 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/AgotnesW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/WangL21, author = {Y{\`{\i}} N. W{\'{a}}ng and Xu Li}, title = {A logic of knowledge based on abstract arguments}, journal = {J. Log. Comput.}, volume = {31}, number = {8}, pages = {2004--2027}, year = {2021}, url = {https://doi.org/10.1093/logcom/exab002}, doi = {10.1093/LOGCOM/EXAB002}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/WangL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/AgotnesW21, author = {Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem}, title = {Somebody Knows}, booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021}, pages = {2--11}, year = {2021}, url = {https://doi.org/10.24963/kr.2021/1}, doi = {10.24963/KR.2021/1}, timestamp = {Wed, 03 Nov 2021 12:46:57 +0100}, biburl = {https://dblp.org/rec/conf/kr/AgotnesW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/DongLW21, author = {Huimin Dong and Xu Li and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Sujata Ghosh and Thomas Icard}, title = {Weighted Modal Logic in Epistemic and Deontic Contexts}, booktitle = {Logic, Rationality, and Interaction - 8th International Workshop, {LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13039}, pages = {73--87}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88708-7\_6}, doi = {10.1007/978-3-030-88708-7\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/DongLW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clar/2021, editor = {Pietro Baroni and Christoph Benzm{\"{u}}ller and Y{\`{\i}} N. W{\'{a}}ng}, title = {Logic and Argumentation - 4th International Conference, {CLAR} 2021, Hangzhou, China, October 20-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13040}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89391-0}, doi = {10.1007/978-3-030-89391-0}, isbn = {978-3-030-89390-3}, timestamp = {Mon, 18 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/AgotnesW20, author = {Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Mehdi Dastani and Huimin Dong and Leon van der Torre}, title = {Group Belief}, booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020, Hangzhou, China, April 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12061}, pages = {3--21}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44638-3\_1}, doi = {10.1007/978-3-030-44638-3\_1}, timestamp = {Mon, 30 Mar 2020 18:10:20 +0200}, biburl = {https://dblp.org/rec/conf/clar/AgotnesW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/LiW20, author = {Xu Li and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Mehdi Dastani and Huimin Dong and Leon van der Torre}, title = {A Logic of Knowledge and Belief Based on Abstract Arguments}, booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020, Hangzhou, China, April 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12061}, pages = {116--130}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44638-3\_8}, doi = {10.1007/978-3-030-44638-3\_8}, timestamp = {Mon, 30 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/LiW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/WangA20, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, editor = {Manuel A. Martins and Igor Sedl{\'{a}}r}, title = {Simpler Completeness Proofs for Modal Logics with Intersection}, booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop, DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12569}, pages = {259--276}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-65840-3\_16}, doi = {10.1007/978-3-030-65840-3\_16}, timestamp = {Wed, 21 Apr 2021 08:53:38 +0200}, biburl = {https://dblp.org/rec/conf/dali/WangA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/HoekKW20, author = {Wiebe van der Hoek and Louwe B. Kuijer and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Christian Bessiere}, title = {Logics of Allies and Enemies: {A} Formal Approach to the Dynamics of Social Balance Theory}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {210--216}, publisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/30}, doi = {10.24963/IJCAI.2020/30}, timestamp = {Mon, 20 Jul 2020 12:38:52 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/HoekKW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-02120, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, title = {Simpler completeness proofs for modal logics with intersection}, journal = {CoRR}, volume = {abs/2004.02120}, year = {2020}, url = {https://arxiv.org/abs/2004.02120}, eprinttype = {arXiv}, eprint = {2004.02120}, timestamp = {Wed, 08 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-02120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/HoekKW19, author = {Wiebe van der Hoek and Louwe B. Kuijer and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Patrick Blackburn and Emiliano Lorini and Meiyun Guo}, title = {Who Should Be My Friends? - Social Balance from the Perspective of Game Theory}, booktitle = {Logic, Rationality, and Interaction - 7th International Workshop, {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11813}, pages = {370--384}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-662-60292-8\_27}, doi = {10.1007/978-3-662-60292-8\_27}, timestamp = {Fri, 09 Apr 2021 18:47:52 +0200}, biburl = {https://dblp.org/rec/conf/lori/HoekKW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/DongRW19, author = {Huimin Dong and R. Ramanujam and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Matteo Baldoni and Mehdi Dastani and Beishui Liao and Yuko Sakurai and Rym Zalila{-}Wenkstern}, title = {Subset Spaces for Conditional Norms}, booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11873}, pages = {289--304}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33792-6\_18}, doi = {10.1007/978-3-030-33792-6\_18}, timestamp = {Fri, 03 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/DongRW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clar/2018, editor = {Beishui Liao and Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, title = {Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, {CLAR} 2018, Hangzhou, China, 16-17 June 2018}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-981-13-7791-4}, doi = {10.1007/978-981-13-7791-4}, isbn = {978-981-13-7790-7}, timestamp = {Fri, 30 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DitmarschFVW18, author = {Hans van Ditmarsch and Tim French and Fernando R. Vel{\'{a}}zquez{-}Quesada and Y{\`{\i}} N. W{\'{a}}ng}, title = {Implicit, explicit and speculative knowledge}, journal = {Artif. Intell.}, volume = {256}, pages = {35--67}, year = {2018}, url = {https://doi.org/10.1016/j.artint.2017.11.004}, doi = {10.1016/J.ARTINT.2017.11.004}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/DitmarschFVW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/AgotnesLW18, author = {Thomas {\AA}gotnes and Beishui Liao and Y{\`{\i}} N. W{\'{a}}ng}, title = {Logic and argumentation}, journal = {J. Appl. Non Class. Logics}, volume = {28}, number = {2-3}, pages = {163--164}, year = {2018}, url = {https://doi.org/10.1080/11663081.2018.1487243}, doi = {10.1080/11663081.2018.1487243}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/AgotnesLW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/AgotnesW17, author = {Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, title = {Resolving distributed knowledge}, journal = {Artif. Intell.}, volume = {252}, pages = {1--21}, year = {2017}, url = {https://doi.org/10.1016/j.artint.2017.07.002}, doi = {10.1016/J.ARTINT.2017.07.002}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/AgotnesW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clar/2016, editor = {Thomas {\AA}gotnes and Beishui Liao and Y{\`{\i}} N. W{\'{a}}ng}, title = {Proceedings of the 1st Chinese Conference on Logic and Argumentation {(CLAR} 2016), Hangzhou, China, April 2-3, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1811}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1811}, urn = {urn:nbn:de:0074-1811-C}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/clar/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/WangA15, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, title = {Relativized common knowledge for dynamic epistemic logic}, journal = {J. Appl. Log.}, volume = {13}, number = {3}, pages = {370--393}, year = {2015}, url = {https://doi.org/10.1016/j.jal.2015.06.004}, doi = {10.1016/J.JAL.2015.06.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/WangA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AgotnesW16, author = {Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, editor = {R. Ramanujam}, title = {Resolving Distributed Knowledge}, booktitle = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, {TARK} 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015}, series = {{EPTCS}}, volume = {215}, pages = {31--50}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.215.4}, doi = {10.4204/EPTCS.215.4}, timestamp = {Fri, 03 Sep 2021 15:00:18 +0200}, biburl = {https://dblp.org/rec/journals/corr/AgotnesW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/WangA13, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, title = {Public announcement logic with distributed knowledge: expressivity, completeness and complexity}, journal = {Synth.}, volume = {190}, number = {Supplement-1}, pages = {135--162}, year = {2013}, url = {https://doi.org/10.1007/s11229-012-0243-3}, doi = {10.1007/S11229-012-0243-3}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/WangA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/at/WangA13, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, editor = {Carlos Iv{\'{a}}n Ches{\~{n}}evar and Eva Onaindia and Sascha Ossowski and George A. Vouros}, title = {Preference Logic of Focus Change: {A} Semantic Approach}, booktitle = {Agreement Technologies - Second International Conference, {AT} 2013, Beijing, China, August 1-2, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8068}, pages = {225--239}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39860-5\_17}, doi = {10.1007/978-3-642-39860-5\_17}, timestamp = {Sun, 12 Nov 2023 02:16:33 +0100}, biburl = {https://dblp.org/rec/conf/at/WangA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icla/WangA13, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, editor = {Kamal Lodaya}, title = {Subset Space Public Announcement Logic}, booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai, India, January 10-12, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7750}, pages = {245--257}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36039-8\_22}, doi = {10.1007/978-3-642-36039-8\_22}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/icla/WangA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/WangA13a, author = {Yi Nicholas Wang and Thomas {\AA}gotnes}, editor = {Francesca Rossi}, title = {Multi-Agent Subset Space Logic}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {1155--1161}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6549}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/WangA13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/WangA13, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, editor = {Davide Grossi and Olivier Roy and Huaxin Huang}, title = {Public Announcements, Private Actions and Common Knowledge in {S5} Structures}, booktitle = {Logic, Rationality, and Interaction - 4th International Workshop, {LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8196}, pages = {267--281}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40948-6\_21}, doi = {10.1007/978-3-642-40948-6\_21}, timestamp = {Sun, 02 Jun 2019 21:21:18 +0200}, biburl = {https://dblp.org/rec/conf/lori/WangA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tark/DitmarschFVW13, author = {Hans van Ditmarsch and Tim French and Fernando R. Vel{\'{a}}zquez{-}Quesada and Y{\`{\i}} N. W{\'{a}}ng}, editor = {Burkhard C. Schipper}, title = {Knowledge, awareness, and bisimulation}, booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013}, year = {2013}, url = {http://www.tark.org/proceedings/tark\_jan7\_13/p61-van-ditmarsch.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tark/DitmarschFVW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DitmarschFVW13, author = {Hans van Ditmarsch and Tim French and Fernando R. Vel{\'{a}}zquez{-}Quesada and Yi Nicholas Wang}, title = {Knowledge, Awareness, and Bisimulation}, journal = {CoRR}, volume = {abs/1310.6410}, year = {2013}, url = {http://arxiv.org/abs/1310.6410}, eprinttype = {arXiv}, eprint = {1310.6410}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DitmarschFVW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/WangA11, author = {Y{\`{\i}} N. W{\'{a}}ng and Thomas {\AA}gotnes}, editor = {Hans van Ditmarsch and J{\'{e}}r{\^{o}}me Lang and Shier Ju}, title = {Public Announcement Logic with Distributed Knowledge}, booktitle = {Logic, Rationality, and Interaction - Third International Workshop, {LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6953}, pages = {328--341}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24130-7\_24}, doi = {10.1007/978-3-642-24130-7\_24}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/lori/WangA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icla/Wang09, author = {Yi Nicholas Wang}, editor = {Ramaswamy Ramanujam and Sundar Sarukkai}, title = {A Two-Dimensional Hybrid Logic of Subset Spaces}, booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009, Chennai, India, January 7-11, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5378}, pages = {196--209}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-92701-3\_14}, doi = {10.1007/978-3-540-92701-3\_14}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/icla/Wang09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.