Publications

PUBLISHED PAPERS:

2015:

- A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Full and Weak Belief. Proceedings of TbiLLC, Lecture Notes in Computer Science, in print 2015.

- A. Baltag, N. Gierasimczuk and S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam, (ed.), Proceedings of the 15^th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, ACM digital library, 2015.

- A. Baltag and S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic, online first 26 April 2015.

- J. Bergfeld and J. Sack. Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. Soft Computing, to appear.

- J. Bergfeld, K. Kishida, J. Sack and S. Zhong. Duality for the Logic of Quantum Actions. Studia Logica, 103(4), pp.781-905, 2015.

- L. Demey and J. Sack. Epistemic Probabilistic Logic. in the Handbook of Epistemic Logic. H. van Ditmarsch, J. Halpern, W. van der Hoek and B. Kooi (eds). Colledge Publications, London, pp. 147-202, 2015.

- J. van Benthem and S. Smets. Dynamic Logics of Belief Change. In H. van Ditmarsch, J.Y. Halpern, W. van der Hoek and B. Kooi (Eds.). Handbook of Logics for Knowledge and Belief, College Publications, pp.313-393, 2015.

- B. Renne, J. Sack and A. Yap. Logics of Temporal-Epistemic Actions. Synthese, online first, 2015.

- J. Sack and S. Watson. Characterizing C(X) among intermediate C-Rings on X. Topology Proceedings 45, pp.301-213, 2015.

2014:

- 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, 53(10), pp. 3628-3647, 2014.

- 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), pp.49-81, 2014.

- T. Placek, N. Belnap, K. Kishida. On Topological issues of Indeterminism, Erkenntnis, 79(3), pp. 403-436, 2014.

- S. Enqvist and J. Sack. A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. in Proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014. Lecture Notes in Computer Science 8446, pp. 98-117, 2014.

- W. van der Hoek and J. Sack. A modal logic for mixed strategies. Studia Logica 102(2), pp. 339-360, 2014.

- J. Sack and S. Watson. C and C* among intermediate rings. Topology Proceedings 43, pp. 69-82, 2014.

2013:

- L. Aceto, A. Ingolfsdottir, C. Priscacariu, J. Sack. Compositional reasoning for multi-modal logics. Proceedings of the Symposium on Logical Foundations of Computer Science. Lecture Notes in Computer Science, 7734, pp. 1-15, 2013.

- A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong. Quantum Probabilistic Dyadic Second-Order Logic. In L. Libkin, U. Kolhenbach and R. de Quieroz (Eds.), Lecture Notes in Computer Science, 8071, pp. 64-80, 2013.

- A. Baltag and S. Smets, Protocols for Belief Merge: Reaching Agreement via Communication, Logic Journal of the IGPL, 21(3), pp.468-487, 2013.

- A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. Lecture Notes in Computer Science, 8196, pp.27-40, 2013.

- L. Demey, B. Kooi and J. Sack. Logic and Probability. Stanford Encyclopedia of Philosophy, E. N. Zaltag (Ed.) First archived: Spring 2013.

- K. Kishida. Public Announcements under Sheaves. In New Frontiers in Artificial Intelligence. Lecture Notes in Computer Science, 7856, pp. 96-108, 2013.

- J. Sack and S. Watson. Characterizations of Ideals in Intermediate C-Rings A(X) via the A-Compactifications of X. Journal of Mathematics and Mathematical Sciences, Article ID. 635361, 2013.

- S. Smets. Reasoning about Quantum Actions: A Logician's Perspective. In H. Andersen, D. Dieks, W. Gonzalez, Th. Uebel, G. Wheeler (Eds). The Philosophy of Science in European Perspective, New Challenges to Philosophy of Science, Vol. 4., pp. 125-134, 2013.

2012:

- S. Awodey, K. Kishida. Topological Completeness of First-Order Modal Logic. in Advances in Modal Logic v.9, College Publications, pp. 1-17, 2012.

- A. Baltag, S. Smets. The Dynamic Turn in Quantum Logic. Synthese 186(3), 2012.

- A. Baltag, B. Rodenhaeuser and S. Smets. Doxastic Attitudes as Belief-Revision Policies. Online pre-proceedings of the ESSLLI workshop on Strategies for Learning, Belief Revision and Preference Change. Opole Poland 2012.

- A. Baltag, B. Renne, S. Smets. The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. Lecture Notes in Computer Science 7456, pp. 168-190, 2012.

- A. Baltag, J. Bergfeld, K. Kishida, S. Smets and S. Zhong. A Decidable Dynamic Logic for Quantum Reasoning, Pre-Proceedings of the 9^th QPL workshop on Quantum Physics and Logic, Brussels 2012.

2011:

- A. Baltag, S. Smets. Quantum Logic as a Dynamic Logic. Synthese, 179(2), pp. 285-306, 2011.

- A. Baltag, S. Smets. Keep Changing your beliefs and aiming for the truth. Erkenntnis, 75(2), pp. 255-270, 2011.

- A. Baltag, S. Smets. Correlated Information A Logic for Multi-Partite Quantum Systems. ENTCS 270, pp.3-14, 2011.

- A. Baltag, N. Gierasimczuk and S. Smets. Belief Revision as a Truth-Tracking Process. Proceedings of TARK, ACM, 2011.

- K. Kishida. Neighborhood-Sheaf Semantics for First-Order Modal Logic. ENTCS 278, pp. 129-143, 2011.

- N. Gierasimczuk, C. Degremont. Finite Identification from the Viewpoint of Epistemic Update. in Information and Computation, 209(3), pp. 383-396, 2011.

- N. Gierasimczuk, J. Szymanik. A Note on a Generalization of the Muddy Childeren Puzzle. Proceedings of TARK, ACM, 2011.

- N. Gierasimczuk, J. Szymanik. Invariance Properties of Quantifiers and Multi-agent Information Exchange. Lecture Notes in AI, 6878, pp. 72-89, 2011.

2010:

- A. Baltag, S. Smets. Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement. International Journal of Theoretical Physics 49(12), pp. 3005-3021, 2010.

REPUBLISHED PAPERS:

- A. Baltag and S. Smets, A Qualitative Theory of Dynamic Interactive Belief Revision, Republished in (eds) H. Arlo-Costa, V. Hendricks, J. van Benthem, Readings in Formal Epistemology, Springer, 2015.

- S. Smets. Logic and Quantum Physics, Republished in College Publications, Mathematical Logic and Foundations, Logic and Philosophy Today, vol. 29-30, 2011. (originally published in Journal of the Indian Council of Philosophical Research, vol. XXVII, No 2, pp. 187-209, 2010).

SPECIAL JOURNAL ISSUES AND EDITED COLLECTIONS:

- M. Dalla Chiara, R. Giuntini, G. Sergioli and S. Smets (eds). Special issue of Soft Computing on 'Logic, Music and Quantum Information', in production, 2015-2016.

- A. Baltag, D. Grossi, B. Rodenhaeuser, A. Marcoci, S. Smets (eds.), LIRa-seminar Dynamics Yearbook 2011, published in 2012.

- J. van Benthem and S. Smets (eds). Special issue of Synthese on Logic meets Physics. Synthese vol. 186(3), 2012.

- D. Aerts, J.P. van Bendegem and S. Smets (eds.). Special Issue of Studia Logica on The Contributions of Logic to the Foundations of Physics, vol. 95, Nr 1-2, 2010.

CONFERENCE REPORTS:

- J. Bergfeld and K. Kishida. Mathematical Logic in the Netherlands, 19-20 May. in The Reasoner 5, p. 108-109, 2011.

- K. Kishida. Quantum Physics meets Tark, 15 July. in The Reasoner 5, p.151, 2011.

EXPERIMENTAL DATA:

A small online experiment was conducted via Amazon Mechanical Turk in the context of the study of classical information flow on `reliability assessments'. The results are part of the Msc thesis of Lara van Wegen (ILLC, UvA), supervised by Sonja Smets and co-supervised by Gert-Jan Munneke (PhD researcher at the Institute for Logic, Language and Computation). The mentioned Msc thesis contains a description of the experimental setup. The experimental data is online available, see: data-set.