LogiCIC Publications

Year 2015:

• A. Baltag and S. Smets. “Logics of Informational Interactions”, Journal of Philosophical Logic, in print, 2015.

• J. van Benthem and S. Smets. "Dynamic Logics of Belief Change". in: H. van Ditmarsch, J. Halpern, W. van der Hoek and B. Kooi (eds.), Handbook of Logics for Knowledge and Belief, College Publications (in print), 2015. [pdf]

• A. Baltag and S. Smets. “On the Trails of Logical Dynamics: a bird’s-eye view of this volume”. In Johan van Benthem on Logic and Information Dynamics, Outstanding Contributions to Logic Series, Volume 4, 55 pages, pp. xv-lxix, Springer, 2015. [pdf]

• Z. Christoff and J. Ulrik Hansen, “A Logic for Diffusion in Social Networks”, Journal of Applied Logic, Volume 13, Issue 1, pp. 48–77, 2015. [pdf]

Year 2014:


• A. Baltag, N. Bezhanishvili, A. Özgün, and S. Smets. "The Topology of Full and Weak Belief", On-line papers of the workshop on Epistemic Logic for Individual, Social, and Interactive Epistemology (ELISIEM), Tubingen, Germany, August 11–15, 2014. [pdf at workshop website]

• Z. Christoff, J. Ulrik Hansen, C. Proietti. "Reflecting on Social Influence in Networks". Online pre-proceedings of the ESSLLI-workshop on Information Dynamics in Artificial Societies. Germany 2014 [pdf at workshop website]

• A. Baltag, B. Renne and S. Smets. “The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence”. Annals of Pure and Applied Logic, Volume 165(1), pp. 49-81, 2014. [pdf]

• A. Baltag, V. Fiutek and S. Smets. DDL as an “Internalization” of Dynamic Belief Revision. in: R. Trypuz (ed.). Krister Segerberg on Logic of Actions. Outstanding Contributions to Logic, Volume 1, pp. 253-280, Springer, 2014. [pdf]

• M. Franke and P. Galeazzi. "On the evolution of Choice Principles". Proceedings of the Second Workshop About Other Minds: Logical and Cognitive Perspectives, Groningen, 2014, CEUR Workshop Proceedings, Volume 1208, pp.11-15, 2014. [pdf]

• A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong. "PLQP & Company: Decidable Logics for Quantum Algorithms", International Journal of Theoretical Physics, Online first, Springer, 2014.

Year 2013:

• A. Baltag, N. Bezhanishvili, A. Özgün and S. Smets, “The topology of belief, belief revision and defeasible knowledge” in : D. Grossi, O. Roy and H. Huang (eds.), Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction, Lecture Notes in Computer Science, Volume 8196, pp.27-40, Springer, Heidelberg, 2013. [pdf]

• A. Baltag, Z. Christoff, J. Ulrik Hansen and S. Smets, “Logical Models of Informational Cascades”, in: J. van Benthem and F. Liu (eds.) Logic across the University: Foundations and Applications, Studies in Logic, College Publications, Conference Proceedings, Volume 47, pp.405-432, 2013. [pdf]

• A. Baltag, J.M. Bergfeld, K. Kishida, J. Sack, S.J.L. Smets, S. Zhong, “Quantum Probabilistic Dyadic Second-Order Logic” in L. Libkin, U. Kohlenbach and R. de Queiroz (eds.), Proceedings of the 20th Workshop of Logic, Language, Information and Computation (WoLLIC 2013), Lecture Notes in Computer Science, Vol. 8071, pp. 64-80, Springer-Verlag Berlin Heidelberg, 2013. [pdf]

• Z. Christoff, "A logic for social influence through communication", in E. Lorini (ed.) Proceedings of the Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013), CEUR Volume 1113, pp. 31-39, 2013. [link to pdf]

• Z. Christoff and J. Ulrik Hansen, “A Two-tiered Formalization of Social Influence” in: D. Grossi, O. Roy and H. Huang (eds.), Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction, Lecture Notes in Computer Science, Volume 8196, pp. 68-81. Springer, Heidelberg, 2013. [pdf]

• A. Baltag and S. Smets, "Protocols for Belief Merge: Reaching Agreement via Communication", in Logic Journal of the IGPL, volume 21, Issue 3, pp. 468-487, 2013. [pdf]

Year 2012:

• A. Baltag, B. Renne and S. Smets. “The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge”. in: L. Ong and R. de Queiroz (eds.), Proceedings of the 19th Workshop of logic, Language, Information and Computation (WoLLIC 2012), Lecture Notes in Computer Science, Vol. 7456, pp. 168-190, Springer-Verlag Berlin Heidelberg, 2012. [pdf]

• N. Gierasimczuk, H. van der Maas and M. Raijmakers, “An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system”, Journal of Logic, Language and Information, Volume 22(3), pp.297-314, 2013. [springer link]

• N. Gierasimczuk, H. van der Maas and M. Raijmakers, “Logical and Psychological Analysis of Deductive Mastermind” in: Jakub Szymanik and Rineke Verbrugge (eds.): Proceedings of the Logic & Cognition Workshop at European Summer School in Logic, Language and Information (ESSLLI) 2012, Opole, Poland, 13-17 August, 2012, CEUR Workshop Proceedings, vol. 883, pp. 1-13, 2012. [link to pdf]

• N. Gierasimczuk, D. de Jongh, “On the Complexity of Conclusive Update”, The Computer Journal 56(3), pp. 365-377, 2013. [pdf]