{"id":27,"date":"2008-09-21T09:06:33","date_gmt":"2008-09-21T07:06:33","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?page_id=27"},"modified":"2025-06-02T10:51:39","modified_gmt":"2025-06-02T08:51:39","slug":"dissertations","status":"publish","type":"page","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/dissertations\/","title":{"rendered":"Dissertations"},"content":{"rendered":"<p>One of the goals of the LIRa seminar is to discuss the ongoing projects of PhD researchers. Such discussions have provided new insights, improved our work and created nice collaborations. In particular, they have been very useful for completing, so far,\u00a0the following\u00a0PhD dissertations:<\/p>\n<ul>\n<li><a href=\"https:\/\/shechangesway.github.io\/Chenwei-Shi\/\"><strong>Chenwei Shi<\/strong><\/a>: PhD (2018) from the <a href=\"https:\/\/www.illc.uva.nl\/\">Institute for Logic, Language and Computation<\/a> of the <a href=\"https:\/\/www.uva.nl\/\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"https:\/\/hdl.handle.net\/11245.1\/1b0bc6ad-acd4-4b61-8096-e38c0b186f5c\"><strong><em>Reason to Believe<\/em><\/strong><\/a>, supervised by <a href=\"https:\/\/sites.google.com\/site\/thesonjasmetssite\/\">Sonja Smets<\/a> and <a href=\"http:\/\/www.fenrong.net\/\">Fenrong Liu<\/a>.<\/li>\n<li><a href=\"https:\/\/w4eg.de\/malvin\/\"><strong>Malvin Gattinger<\/strong><\/a>: PhD (2018) from the <a href=\"https:\/\/www.illc.uva.nl\/\">Institute for Logic, Language and Computation<\/a> of the <a href=\"https:\/\/www.uva.nl\/\">Universiteit van Amsterdam<\/a>. Dissertation: <em><strong><a href=\"https:\/\/malv.in\/phdthesis\/\">New Directions in Model Checking Dynamic Epistemic Logic<\/a><\/strong><\/em>, supervised by <a href=\"https:\/\/homepages.cwi.nl\/~jve\/\">Jan van Eijck<\/a>, <a href=\"https:\/\/sites.google.com\/site\/thealexandrubaltagsite\/\">Alexandru Baltag<\/a> and <a href=\"http:\/\/kailesu.net\/\">Kaile Su<\/a>.<\/li>\n<li><a href=\"https:\/\/sites.google.com\/site\/ozgunaybuke\/\"><strong>Ayb\u00fcke \u00d6zg\u00fcn<\/strong><\/a>: PhD (2017) from the <a href=\"https:\/\/www.illc.uva.nl\/\">Institute for Logic, Language and Computation<\/a> of the <a href=\"https:\/\/www.uva.nl\/\">Universiteit van Amsterdam<\/a> and LORIA, Universit\u00e9<br \/>\nde Lorraine. Dissertation: <em><strong>Evidence in Epistemic Logic \u2014 A Topological Perspective<\/strong><\/em>.<\/li>\n<li><strong>Shengyang Zhong<\/strong>: PhD (2015) from the <a href=\"https:\/\/www.illc.uva.nl\/\">Institute for Logic, Language and Computation<\/a> of the <a href=\"https:\/\/www.uva.nl\/\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"https:\/\/www.illc.uva.nl\/Research\/Publications\/Dissertations\/DS-2015-03.text.pdf\"><em><strong>Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory<\/strong><\/em><\/a>, supervised by <a href=\"https:\/\/staff.fnwi.uva.nl\/j.vanbenthem\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a>, <a href=\"http:\/\/alexandru.tiddlyspot.com\/\">Alexandru Baltag<\/a> and <a href=\"https:\/\/sites.google.com\/site\/thesonjasmetssite\/\">Sonja Smets<\/a>.<\/li>\n<li><a href=\"https:\/\/lenakurzen.nl\/\"><strong>Lena Kurzen<\/strong><\/a>: PhD (2011) from the <a title=\"ILLC\" href=\"https:\/\/www.illc.uva.nl\/\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"https:\/\/eprints.illc.uva.nl\/id\/eprint\/2105\/\"><em><strong>Complexity in Interaction<\/strong><\/em><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"https:\/\/staff.fnwi.uva.nl\/j.vanbenthem\/\">Johan van Benthem<\/a> and <a href=\"http:\/\/staff.science.uva.nl\/%7Epeter\/\">Peter van Emde Boas<\/a>. Worked at <a href=\"https:\/\/criticalminds.com\/en\/team\">Critical Minds<\/a>.<\/li>\n<li><strong><a href=\"http:\/\/staff.science.uva.nl\/~fvelazqu\/\" target=\"_blank\" rel=\"noopener\">Fernando Vel\u00e1zquez-Quesada<\/a><\/strong>: PhD (2011) from the <a title=\"ILLC\" href=\"..\/..\/..\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <em><strong><a href=\"..\/..\/..\/Publications\/Dissertations\/DS-2011-02.text.pdf\" target=\"_blank\" rel=\"noopener\">Small steps in dynamics of information<\/a><\/strong><\/em>, supervised by <a title=\"Johan van Benthem\" href=\"https:\/\/staff.fnwi.uva.nl\/j.vanbenthem\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a>. Currently at the <a title=\"ILLC\" href=\"https:\/\/www.illc.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>, The Netherlands.<\/li>\n<li><a href=\"http:\/\/staff.science.uva.nl\/~ngierasi\/\" target=\"_blank\" rel=\"noopener\"><strong>Nina Gierasimczuk<\/strong><\/a>: PhD (2010) from the <a title=\"ILLC\" href=\"..\/..\/..\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <strong><em><a href=\"http:\/\/staff.science.uva.nl\/~ngierasi\/thesis-gierasimczuk.pdf\" target=\"_blank\" rel=\"noopener\">Knowing One&#8217;s Limits. Logical Analysis of Inductive Inference<\/a><\/em><\/strong>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a> and <a title=\"Dick de Jongh\" href=\"http:\/\/staff.science.uva.nl\/~dickdj\/\" target=\"_blank\" rel=\"noopener\">Dick de Jongh<\/a>. Currently at the <a href=\"http:\/\/www.rug.nl\/ai\/onderzoek\/index\" target=\"_blank\" rel=\"noopener\">Institute of Artificial Intelligence (ALICE)<\/a> of the <a href=\"http:\/\/www.rug.nl\/corporate\/index\" target=\"_blank\" rel=\"noopener\">University of Groningen<\/a>, The Netherlands.<\/li>\n<li><strong><a href=\"http:\/\/homepages.inf.ed.ac.uk\/agheerbr\/\" target=\"_blank\" rel=\"noopener\">Am\u00e9lie Gheerbrant<\/a><\/strong>: PhD (2010) from the <a title=\"ILLC\" href=\"..\/..\/..\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"..\/..\/..\/Publications\/Dissertations\/DS-2010-08.text.pdf\" target=\"_blank\" rel=\"noopener\"><strong><em>Fixed-Point Logics on Trees<\/em><\/strong><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a> and <a href=\"http:\/\/users.soe.ucsc.edu\/~btencate\/\">Balder ten Cate<\/a>. Currently at the <a href=\"http:\/\/wcms.inf.ed.ac.uk\/lfcs\/\" target=\"_blank\" rel=\"noopener\">The Laboratory for Foundations of Computer Science<\/a> of the <a href=\"http:\/\/www.ed.ac.uk\/home\" target=\"_blank\" rel=\"noopener\">University of Edinburgh<\/a>, UK.<\/li>\n<li><strong><a href=\"http:\/\/users.soe.ucsc.edu\/~gaelle\/\" target=\"_blank\" rel=\"noopener\">Ga\u00eblle Fontaine<\/a><\/strong>: PhD (2010) from the <a title=\"ILLC\" href=\"http:\/\/www.illc.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation:\u00a0<em><a href=\"http:\/\/www.illc.uva.nl\/Publications\/Dissertations\/DS-2010-09.text.pdf\" target=\"_blank\" rel=\"noopener\"><strong>Modal Fixpoint Logic: some model theoretic questions<\/strong><\/a><\/em>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a> and <a href=\"http:\/\/staff.science.uva.nl\/~yde\/\" target=\"_blank\" rel=\"noopener\">Yde Venema<\/a>. Later worked at the <a href=\"http:\/\/www.cs.ucsc.edu\/\" target=\"_blank\" rel=\"noopener\">Computer Science Department<\/a> of\u00a0the <a href=\"http:\/\/www.ucsc.edu\/\" target=\"_blank\" rel=\"noopener\">University of California at Santa Cruz<\/a>, USA. Now working again at the <a title=\"ILLC\" href=\"http:\/\/www.illc.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>.<\/li>\n<li><a title=\"Jonathan Zvesper\" href=\"http:\/\/web.comlab.ox.ac.uk\/people\/Jonathan.Zvesper\/\" target=\"_blank\" rel=\"noopener\"><strong>Jonathan Zvesper<\/strong><\/a>: PhD (2010) from the <a title=\"ILLC\" href=\"http:\/\/www.illc.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"http:\/\/www.illc.uva.nl\/Publications\/Dissertations\/DS-2010-02.text.pdf\" target=\"_blank\" rel=\"noopener\"><em><strong>Playing with Information<\/strong><\/em><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a> and <a title=\"Krzysztof Apt\" href=\"http:\/\/homepages.cwi.nl\/~apt\/\" target=\"_blank\" rel=\"noopener\">Krzysztof Apt<\/a>. Currently at the <a title=\"Computing Laboratory\" href=\"http:\/\/web.comlab.ox.ac.uk\/\" target=\"_blank\" rel=\"noopener\">Computing Laboratory<\/a> of <a title=\"Oxford University\" href=\"http:\/\/www.ox.ac.uk\/\" target=\"_blank\" rel=\"noopener\">Oxford University<\/a>, UK.<\/li>\n<li><a title=\"C\u00e9dric D\u00e9gremont\" href=\"http:\/\/staff.science.uva.nl\/~cdegremo\/\" target=\"_blank\" rel=\"noopener\"><strong>C\u00e9dric D\u00e9gremont<\/strong><\/a>: PhD (2010) from the <a title=\"ILLC\" href=\"..\/..\/..\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"..\/..\/..\/Publications\/Dissertations\/DS-2010-03.text.pdf\" target=\"_blank\" rel=\"noopener\"><em><strong>The Temporal Mind. Observations on the logic of belief change in interactive systems<\/strong><\/em><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a>. Currently at the <a href=\"http:\/\/www.rug.nl\/ai\/onderzoek\/index\" target=\"_blank\" rel=\"noopener\">Institute of Artificial Intelligence (ALICE)<\/a> of the <a href=\"http:\/\/www.rug.nl\/corporate\/index\" target=\"_blank\" rel=\"noopener\">University of Groningen<\/a>, The Netherlands.<\/li>\n<li><strong><a href=\"http:\/\/www.phil.pku.edu.cn\/personal\/wangyj\/\" target=\"_blank\" rel=\"noopener\">Yanjing Wang<\/a><\/strong>: PhD (2010) from the <a href=\"http:\/\/www.cwi.nl\/\" target=\"_blank\" rel=\"noopener\">Centrum Wiskunde &amp; Informatica<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"http:\/\/www.illc.uva.nl\/Publications\/Dissertations\/DS-2010-06.text.pdf\" target=\"_blank\" rel=\"noopener\"><em><strong>Epistemic Modelling and Protocol Dynamics<\/strong><\/em><\/a>, supervised by <a href=\"http:\/\/homepages.cwi.nl\/~jve\/\" target=\"_blank\" rel=\"noopener\">Jan van Eijck<\/a>. Currently at the <a href=\"http:\/\/www.phil.pku.edu.cn\/\" target=\"_blank\" rel=\"noopener\">Department of Philosophy<\/a> of <a href=\"http:\/\/english.pku.edu.cn\/\" target=\"_blank\" rel=\"noopener\">Peking University<\/a>, China.<\/li>\n<li><strong><a href=\"http:\/\/www.jakubszymanik.com\/\" target=\"_blank\" rel=\"noopener\">Jakub Szymanik<\/a><\/strong>: PhD (2009) from the <a title=\"ILLC\" href=\"http:\/\/www.illc.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <strong><a href=\"http:\/\/www.jakubszymanik.com\/papers\/thesis.pdf\" target=\"_blank\" rel=\"noopener\"><em>Quantifiers in TIME and SPACE<\/em><\/a><\/strong>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a>, Marcin<span style=\"font-family: F17;\"> Mostowski and <a href=\"http:\/\/staff.science.uva.nl\/~theo\/\" target=\"_blank\" rel=\"noopener\">Theo Janssen<\/a>. Currently at the <a href=\"http:\/\/www.rug.nl\/ai\/onderzoek\/index\" target=\"_blank\" rel=\"noopener\">Institute of Artificial Intelligence (ALICE)<\/a> of the <a href=\"http:\/\/www.rug.nl\/corporate\/index\" target=\"_blank\" rel=\"noopener\">University of Groningen<\/a>, The Netherlands. <\/span><\/li>\n<li><strong><a href=\"http:\/\/www.stanford.edu\/~thoshi\/Site\/Tomohiro%20Hoshi%27s%20Homepage.html\" target=\"_blank\" rel=\"noopener\">Tomohiro Hoshi<\/a><\/strong>: PhD (2009) from the <a title=\"Department of Philosophy\" href=\"http:\/\/www-philosophy.stanford.edu\/\" target=\"_blank\" rel=\"noopener\">Department of Philosophy<\/a> of the <a title=\"Stanford University\" href=\"http:\/\/www.stanford.edu\/\" target=\"_blank\" rel=\"noopener\">Stanford University<\/a>. Dissertation:\u00a0<em><a href=\"http:\/\/www.illc.uva.nl\/Publications\/Dissertations\/DS-2009-08.text.pdf\" target=\"_blank\" rel=\"noopener\"><strong>Epistemic Dynamics and Protocol Information<\/strong><\/a><\/em><span style=\"font-family: CMR10;\"><span style=\"font-family: CMR10;\">, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a>. Currently at the <a title=\"Department of Philosophy\" href=\"http:\/\/www-philosophy.stanford.edu\/\" target=\"_blank\" rel=\"noopener\">Department of Philosophy<\/a> of <a title=\"Stanford University\" href=\"http:\/\/www.stanford.edu\/\" target=\"_blank\" rel=\"noopener\">Stanford University<\/a>, USA. <\/span><\/span><\/li>\n<li><a title=\"Olivier Roy\" href=\"http:\/\/olivier.amonbofis.net\/\" target=\"_blank\" rel=\"noopener\"><strong>Olivier Roy<\/strong><\/a>: PhD (2008) from the <a title=\"ILLC\" href=\"..\/..\/..\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"..\/..\/..\/Publications\/Dissertations\/DS-2008-03.text.pdf\" target=\"_blank\" rel=\"noopener\"><em><strong>Thinking Before Acting: Intentions, Logic and Rational Choice<\/strong><\/em><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a> and <a title=\"Martin van Hees\" href=\"http:\/\/www.philos.rug.nl\/~vanhees\/\" target=\"_blank\" rel=\"noopener\">Martin van Hees<\/a>. Currently at the <a href=\"http:\/\/www.philosophie.uni-muenchen.de\/lehreinheiten\/logik_sprachphil\/mcmp\/index.html\" target=\"_blank\" rel=\"noopener\">Center for Mathematical Philosophy<\/a> of the <a href=\"http:\/\/www.uni-muenchen.de\/index.html\" target=\"_blank\" rel=\"noopener\">Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen<\/a>, Germany.<\/li>\n<li><a title=\"Fenrong Liu\" href=\"http:\/\/staff.science.uva.nl\/~fenrong\/\" target=\"_blank\" rel=\"noopener\"><strong>Fenrong Liu<\/strong><\/a> (Chinese <a title=\"Fenrong Liu\" href=\"http:\/\/rwxy.tsinghua.edu.cn\/xi-suo\/zhe\/teacher\/teacher_liufenrong.asp\" target=\"_blank\" rel=\"noopener\">webpage<\/a>): PhD (2008) from the <a title=\"ILLC\" href=\"..\/..\/..\/\" target=\"_blank\" rel=\"noopener\">Institute for Logic, Language and Computation<\/a> of the <a title=\"Universiteit van Amsterdam\" href=\"http:\/\/www.uva.nl\/\" target=\"_blank\" rel=\"noopener\">Universiteit van Amsterdam<\/a>. Dissertation: <a href=\"..\/..\/..\/Publications\/Dissertations\/DS-2008-02.text.pdf\" target=\"_blank\" rel=\"noopener\"><em><strong>Changing for the Better: Preference Dynamics and Agent Diversity<\/strong><\/em><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a> and <a title=\"Dick de Jongh\" href=\"http:\/\/staff.science.uva.nl\/~dickdj\/\" target=\"_blank\" rel=\"noopener\">Dick de Jongh<\/a>. Currently at the <a href=\"http:\/\/rwxy.tsinghua.edu.cn\/xi-suo\/zhe\" target=\"_blank\" rel=\"noopener\">Department of Philosophy<\/a> of the <a href=\"http:\/\/www.tsinghua.edu.cn\/qhdwzy\/index.jsp\" target=\"_blank\" rel=\"noopener\">Tsinghua University<\/a>, China.<\/li>\n<li><a title=\"Patrick Girard\" href=\"http:\/\/www.arts.auckland.ac.nz\/staff\/index.cfm?S=STAFF_pgir006\" target=\"_blank\" rel=\"noopener\"><strong>Patrick Girard<\/strong><\/a>: PhD (2008) from the <a title=\"Department of Philosophy\" href=\"http:\/\/www-philosophy.stanford.edu\/\" target=\"_blank\" rel=\"noopener\">Department of Philosophy<\/a> of <a title=\"Stanford University\" href=\"http:\/\/www.stanford.edu\/\" target=\"_blank\" rel=\"noopener\">Stanford University<\/a>. Dissertation: <a href=\"..\/..\/..\/Publications\/Dissertations\/DS-2008-04.text.pdf\" target=\"_blank\" rel=\"noopener\"><em><strong>Modal Logic for Belief and Preference Change<\/strong><\/em><\/a>, supervised by <a title=\"Johan van Benthem\" href=\"http:\/\/staff.science.uva.nl\/~johan\/\" target=\"_blank\" rel=\"noopener\">Johan van Benthem<\/a>, <a title=\"Marc Pauly\" href=\"http:\/\/www.stanford.edu\/~pianoman\/\" target=\"_blank\" rel=\"noopener\">Marc Pauly<\/a> and <a title=\"Krister Segerberg\" href=\"http:\/\/www.filosofi.uu.se\/personal\/kristerse.htm\" target=\"_blank\" rel=\"noopener\">Krister Segerberg<\/a>. Currently at the <a title=\"Department of Philosophy\" href=\"http:\/\/www.arts.auckland.ac.nz\/departments\/index.cfm?S=D_PHIL\" target=\"_blank\" rel=\"noopener\">Department of Philosophy<\/a> of the <a title=\"Faculty of Arts\" href=\"http:\/\/www.arts.auckland.ac.nz\/\" target=\"_blank\" rel=\"noopener\">Faculty of Arts<\/a> at the <a title=\"University of Auckland\" href=\"http:\/\/www.auckland.ac.nz\/\" target=\"_blank\" rel=\"noopener\">University of Auckland<\/a>, New Zealand.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>One of the goals of the LIRa seminar is to discuss the ongoing projects of PhD researchers. Such discussions have provided new insights, improved our work and created nice collaborations. In particular, they have been very useful for completing, so far,\u00a0the following\u00a0PhD dissertations:<\/p>\n<p>Chenwei Shi: PhD (2018) from the Institute for Logic, Language and Computation of [&#8230;]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-27","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/pages\/27","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":54,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/pages\/27\/revisions"}],"predecessor-version":[{"id":5444,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/pages\/27\/revisions\/5444"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}