JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Publications

2014

Books:

  • Z. Christoff, P. Galeazzi, N. Gierasimczuk, A. Marcoci and S. Smets (eds.) – A. Baltag, W. Holliday and F. Liu (collecting eds.), Dynamics Yearbook: Logic and Interactive Rationality. Vol. 1, 2, Amsterdam, 2014. (http://www.illc.uva.nl/dg/?page_id=78)
  • J. van Benthem, Logic in Games, the MIT Press, 2014
  • A. Baltag and S. Smets eds., Trends in Logic, Outstanding Contributions: Johan van Benthem on Logic and Information Dynamics, Springer, 2014

Articles:

  • A. Achimescu, A. Baltag and J. Sack. The Probabilistic Logic of Communication and Change. Full paper LOFT 2014. Under review, Journal of Logic and Computation
  • A.Baltag, B. Renne and S. Smets. The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence. Annals of Pure and Applied Logic, 165(1): 49-81, 2014
  • A. Baltag, N. Gierasimczuk and S. Smets. Truth-Tracking by Belief Revision. Studia Logica, in print. Preprint available at the ILLC Preprint Archive PP-2014-20
  • A. Baltag and S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic, in print
  • A. Baltag, V. Fiutek and S. Smets. DDL as an “Internalization” of Dynamic Belief Revision. In K. Segerberg on Logic of Action, Springer, 253–280, 2014
  • J. van Benthem. Natural Language and Logic of Agency, Journal of Logic, Language and Information 23:3, 367–382, 2014
  • J. van Benthem, Modeling Reasoning in a Social Setting, Studia Logica 102:2, 235–265, 2014
  • J. van Benthem, D. Grossi and F. Liu. Priority Structures in Deontic Logic. Theoria, 80(2): 116–152, 2014
  • J. van Benthem and F. Liu. Where is Logic Going, Studies in Logic, 7:1, 84–99, 2014
  • J. van Benthem and E. Pacuit. Connecting Logics of Choice and Change. In Th. Mueller, ed., Nuel Belnap on Indeterminism and Free Action, Springer, 291–314, 2014
  • Q. Chen, Q. Li, K. Su and X. Luo. Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI 2014: 871-876
  • Q. Chen, K. Su, Y. Hu and G. Hu. Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. Canadian Conference on AI 2014: 269-274
  • P. van Emde Boas, Victorious Warriors; Strategic Theory and Logic in Ancient China; outline, in Liu F., J. Seligman & Zhai J., eds., draft chapters Handbook of the History of Logical Thought in China, presented at the HOLIC 3 conference Tianjin, April 26-28 Nankai University, Tianjin China, Section VII, 176–183
  • P. van Emde Boas, Theory-of-Mind Reasoning in Ancient China, in J. Szymanik & R. Verbrugge eds., Proceedings RAOM 2014: Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR-WS.org/Vol-1208, urn:nbn:de:0074-1208-4, 6–10
  • P. Galliani and J. Väänänen. On Dependence Logic, In A. Baltag and S. Smets eds. Johan van Benthem on Logic and Information Dynamics, Springer, 2014
  • 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., Johan van Benthem on Logic and Information Dynamics, Springer, 2014. 729–728
  • T. Icard. Higher-Order Syllogistics, Formal Grammar, Springer, 2014
  • T. Icard. Toward Boundedly Rational Analysis, Proceedings of the Annual Meeting of the Cognitive Science Society, 2014
  • F. Ju and F. Liu. A Dynamic Deontic Logic with Prioritized Moral Sources.(in progress)
  • F. Ju and X. Hu. On Axiomatization of Boolean Modalities. In print, Studies in Logic
  • F. Ju and L. Liang. Commands Changing Obligations, to appear in Journal of Logic and Computation
  • T.-W. Hu and M.Kaneko. Game theoretic decidability and undecidability.(in progress)
  • C. Liu, E. Zhu, F. Liu and K. Su. Preference Dynamics in Games with Short Sight. Applied Mathematics and Computation 244: 493-501, 2014
  • C. Liu and P. Turrini. Opponent Modelling in Games with Short Sight (in progress)
  • C. Liu and P. Turrini. Logic of Preferences in Games with Short Sight (in progress)
  • F. Liu, J. Seligman, and P. Girard. Logical Dynamics of Belief Change in the Community, Synthese, 191(11): 2403-2431, 2014 7
  • C. Luo, S. Cai, W. Wu and K. Su. Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI 2014: 2703-2709
  • M. Stokhof. Report on the Tsinghua Modernity Workshop, to be submitted to Studies in Logic
  • M. Stokhof and M. van Lambalgen. What Cost Naturalism? Proceedings BRIDGE-14 Workshop “Bridging Formal and Conceptual Semantics, Düsseldorf, April 2014
  • M. Stokhof. Arguing about Dynamic Meaning. in A. Baltag and S. Smets eds. Johan van Benthem on Logic and Information Dynamics, Springer, 749–764, 2014
  • J. Väänänen. Multiverse Set Theory and Absolutely Undecidable Propositions. in J. Kennedy, ed. Interpreting Gödel, Cambridge University Press, 2014, 180–208
  • L. Wang. The Sense of “TO ON”: An Interpretation of Metaphysics D7, Journal of Tsinghua University (Philosophy and Social Sciences), No.6, 2014
  • L. Wang. “Es ist”: An Approach to Understanding the Phenomena of Spirit, Philosophical Analysis, No.6, 2014
  • L. Wang. Sentence Scheme: An Approach to Analysis of Language Based on Frege, Seeking Truth, No.5, 2014
  • L. Wang. The Translation of Being and its Principles. Academic Research, No.10, 2014

2013

  • J. van Benthem and F. Liu, eds, Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, College Publications, London, 2013.
  • N. Alechina, F. Liu and B. Logan. Minimal Preference Change. In Davide Grossi, Olivier Roy and Huaxin Huang, eds, Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction, LNCS 8196, FoLLI Series, Hangzhou, 2013. pp.15-26.
  • J. Seligman, F. Liu and P. Girard. Knowledge, Friendship and Social Announcement. In Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, College Publications, London, 2013. pp.445-469.
  • C. Liu, F. Liu and K. Su. Qualitative Extensive Games with Short Sight: A More Realistic Model. In Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, College Publications, London, 2013. pp.159-169.
  • C. Liu, F. Liu and K. Su. A Logic for Extensive Games with Short Sight. In Davide Grossi, Olivier Roy and Huaxin Huang, eds, Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction(LORI), LNCS 8196, FoLLI Series, Hangzhou, 2013. pp.332-336.
  • F. Liu and Y. Wang. Reasoning about Agent Types and the hardest logic puzzle ever. [link] Minds and Machines 23(1): 123-161, 2013.
  • F. Liu and K. Su. Logic and Artificial Intelligence in China: An Introduction. [link] Minds and Machines 23(1): 1-4, 2013.
  • J. Seligman, F. Liu and P. Girard. Facebook and Epistemic Logic of Friendship, in Burkhard C. Schipper ed, Theoretical Aspects of Rationality and Knowledge Proceedings of the 14th Conference Chennai, India, pp.229-238.