{"id":134,"date":"2014-12-04T19:59:20","date_gmt":"2014-12-04T11:59:20","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=134"},"modified":"2015-05-01T21:33:09","modified_gmt":"2015-05-01T13:33:09","slug":"publications","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/research\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<h2>2014<\/h2>\n<p>Books:<\/p>\n<ul>\n<li>Z. Christoff, P. Galeazzi, N. Gierasimczuk, A. Marcoci and S. Smets (eds.) \u2013 A. Baltag, W. Holliday and F. Liu (collecting eds.), <em>Dynamics Yearbook: Logic and Interactive Rationality<\/em>. Vol. 1, 2, Amsterdam, 2014. (http:\/\/www.illc.uva.nl\/dg\/?page_id=78)<\/li>\n<li>J. van Benthem, <em>Logic in Games<\/em>, the MIT Press, 2014<\/li>\n<li>A. Baltag and S. Smets eds., <em>Trends in Logic, Outstanding Contributions: Johan van Benthem on Logic and Information Dynamics<\/em>, Springer, 2014<\/li>\n<\/ul>\n<p>Articles:<\/p>\n<ul>\n<li>A. Achimescu, A. Baltag and J. Sack. The Probabilistic Logic of Communication and Change. Full paper LOFT 2014. Under review, <em>Journal of Logic and Computation<\/em><\/li>\n<li>A.Baltag, B. Renne and S. Smets. The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence. <em>Annals of Pure and Applied Logic<\/em>, 165(1): 49-81, 2014<\/li>\n<li>A. Baltag, N. Gierasimczuk and S. Smets. Truth-Tracking by Belief Revision. <em>Studia Logica<\/em>, in print. Preprint available at the ILLC Preprint Archive PP-2014-20<\/li>\n<li>A. Baltag and S. Smets. Logics of Informational Interactions, <em>Journal of Philosophical Logic<\/em>, in print<\/li>\n<li>A. Baltag, V. Fiutek and S. Smets. DDL as an \u201cInternalization\u201d of Dynamic Belief Revision. In <em>K. Segerberg on Logic of Action<\/em>, Springer, 253\u2013280, 2014<\/li>\n<li>J. van Benthem. Natural Language and Logic of Agency, <em>Journal of Logic, Language and Information<\/em> 23:3, 367\u2013382, 2014<\/li>\n<li>J. van Benthem, Modeling Reasoning in a Social Setting, <em>Studia Logica<\/em> 102:2, 235\u2013265, 2014<\/li>\n<li>J. van Benthem, D. Grossi and F. Liu. Priority Structures in Deontic Logic. <em>Theoria<\/em>, 80(2): 116\u2013152, 2014<\/li>\n<li>J. van Benthem and F. Liu. Where is Logic Going, <em>Studies in Logic<\/em>, 7:1, 84\u201399, 2014<\/li>\n<li>J. van Benthem and E. Pacuit. Connecting Logics of Choice and Change. In Th. Mueller, ed., <em>Nuel Belnap on Indeterminism and Free Action<\/em>, Springer, 291\u2013314, 2014<\/li>\n<li>Q. Chen, Q. Li, K. Su and X. Luo. Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. <em>PRICAI 2014<\/em>: 871-876<\/li>\n<li>Q. Chen, K. Su, Y. Hu and G. Hu. Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.<em> Canadian Conference on AI 2014<\/em>: 269-274<\/li>\n<li>P. van Emde Boas, Victorious Warriors; Strategic Theory and Logic in Ancient China; outline, in Liu F., J. Seligman &amp; Zhai J., eds., draft chapters <em>Handbook of the History of Logical Thought in China<\/em>, presented at the HOLIC 3 conference Tianjin, April 26-28 Nankai University, Tianjin China, Section VII, 176\u2013183<\/li>\n<li>P. van Emde Boas, Theory-of-Mind Reasoning in Ancient China, in J. Szymanik &amp; R. Verbrugge eds., <em>Proceedings RAOM 2014: Reasoning About Other Minds: Logical and Cognitive Perspectives<\/em>, CEUR-WS.org\/Vol-1208, urn:nbn:de:0074-1208-4, 6\u201310<\/li>\n<li>P. Galliani and J. V\u00e4\u00e4n\u00e4nen. On Dependence Logic, In A. Baltag and S. Smets eds. <em>Johan van Benthem on Logic and Information Dynamics<\/em>, Springer, 2014<\/li>\n<li>S. O. Hansson and F. Liu. From Good to Better, using contextual shifts to define preference in terms of monadic value. In A. Baltag and S. Smets eds., <em>Johan van Benthem on Logic and Information Dynamics<\/em>, Springer, 2014. 729\u2013728<\/li>\n<li>T. Icard. Higher-Order Syllogistics, <em>Formal Grammar<\/em>, Springer, 2014<\/li>\n<li>T. Icard. Toward Boundedly Rational Analysis, <em>Proceedings of the Annual Meeting of the Cognitive Science Society<\/em>, 2014<\/li>\n<li>F. Ju and F. Liu. A Dynamic Deontic Logic with Prioritized Moral Sources.(in progress)<\/li>\n<li>F. Ju and X. Hu. On Axiomatization of Boolean Modalities. In print, <em>Studies in Logic <\/em><\/li>\n<li>F. Ju and L. Liang. Commands Changing Obligations, to appear in <em>Journal of Logic and Computation <\/em><\/li>\n<li>T.-W. Hu and M.Kaneko. Game theoretic decidability and undecidability.(in progress)<\/li>\n<li>C. Liu, E. Zhu, F. Liu and K. Su. Preference Dynamics in Games with Short Sight. <em>Applied Mathematics and Computation<\/em> 244: 493-501, 2014<\/li>\n<li>C. Liu and P. Turrini. Opponent Modelling in Games with Short Sight (in progress)<\/li>\n<li>C. Liu and P. Turrini. Logic of Preferences in Games with Short Sight (in progress)<\/li>\n<li>F. Liu, J. Seligman, and P. Girard. Logical Dynamics of Belief Change in the Community, <em>Synthese<\/em>, 191(11): 2403-2431, 2014 7<\/li>\n<li>C. Luo, S. Cai, W. Wu and K. Su. Double Configuration Checking in Stochastic Local Search for Satisfiability. <em>AAAI 2014<\/em>: 2703-2709<\/li>\n<li>M. Stokhof. Report on the Tsinghua Modernity Workshop, to be submitted to <em>Studies in Logic<\/em><\/li>\n<li>M. Stokhof and M. van Lambalgen. What Cost Naturalism? Proceedings BRIDGE-14 Workshop &#8220;Bridging Formal and Conceptual Semantics, D\u00fcsseldorf, April 2014<\/li>\n<li>M. Stokhof. Arguing about Dynamic Meaning. in A. Baltag and S. Smets eds. <em>Johan van Benthem on Logic and Information Dynamics<\/em>, Springer, 749\u2013764, 2014<\/li>\n<li>J. V\u00e4\u00e4n\u00e4nen. Multiverse Set Theory and Absolutely Undecidable Propositions. in J. Kennedy, ed.<em> Interpreting G\u00f6del<\/em>, Cambridge University Press, 2014, 180\u2013208<\/li>\n<li>L. Wang. The Sense of \u201cTO ON\u201d: An Interpretation of Metaphysics D7, <em>Journal of Tsinghua University<\/em> (Philosophy and Social Sciences), No.6, 2014<\/li>\n<li>L. Wang. \u201cEs ist\u201d: An Approach to Understanding the Phenomena of Spirit,<em> Philosophical Analysis<\/em>, No.6, 2014<\/li>\n<li>L. Wang. Sentence Scheme: An Approach to Analysis of Language Based on Frege,<em> Seeking Truth<\/em>, No.5, 2014<\/li>\n<li>L. Wang. The Translation of Being and its Principles. <em>Academic Research<\/em>, No.10, 2014<\/li>\n<\/ul>\n<h2>2013<\/h2>\n<ul>\n<li>J. van Benthem and F. Liu, eds,\u00a0<em>Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference<\/em>, College Publications, London, 2013.<\/li>\n<li>N. Alechina, F. Liu and B. Logan. Minimal Preference Change. In Davide Grossi, Olivier Roy and Huaxin Huang, eds,\u00a0<em>Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction<\/em>, LNCS 8196, FoLLI Series, Hangzhou, 2013. pp.15-26.<\/li>\n<li>J. Seligman, F. Liu and P. Girard. Knowledge, Friendship and Social Announcement. In\u00a0<em>Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference<\/em>, College Publications, London, 2013. pp.445-469.<\/li>\n<li>C. Liu, F. Liu and K. Su. Qualitative Extensive Games with Short Sight: A More Realistic Model. In\u00a0<em>Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference<\/em>, College Publications, London, 2013. pp.159-169.<\/li>\n<li>C. Liu, F. Liu and K. Su. A Logic for Extensive Games with Short Sight. In Davide Grossi, Olivier Roy and Huaxin Huang, eds,\u00a0<em>Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction(LORI)<\/em>, LNCS 8196, FoLLI Series, Hangzhou, 2013. pp.332-336.<\/li>\n<li>F. Liu and\u00a0Y. Wang. Reasoning about Agent Types and the hardest logic puzzle ever. [<a href=\"http:\/\/link.springer.com\/article\/10.1007%2Fs11023-012-9287-x\" target=\"_blank\">link<\/a>]\u00a0<em>Minds and Machines<\/em>\u00a023(1): 123-161, 2013.<\/li>\n<li>F. Liu and K. Su. Logic and Artificial Intelligence in China: An Introduction. [<a href=\"http:\/\/link.springer.com\/article\/10.1007\/s11023-013-9308-4\" target=\"_blank\">link<\/a>]\u00a0<em>Minds and Machines<\/em>\u00a023(1): 1-4, 2013.<\/li>\n<li>J. Seligman, F. Liu and P. Girard. Facebook and Epistemic Logic of Friendship, in Burkhard C. Schipper ed,\u00a0<em>Theoretical Aspects of Rationality and Knowledge Proceedings of the 14th Conference<\/em>\u00a0Chennai, India, pp.229-238.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>2014 Books: Z. Christoff, P. Galeazzi, N. Gierasimczuk, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":123,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/134"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=134"}],"version-history":[{"count":8,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/134\/revisions"}],"predecessor-version":[{"id":5058,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/134\/revisions\/5058"}],"up":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/123"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=134"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}