Logics for Communication, Information Update and Multi-Agent Belief Revision
Papers on Logics for Communication, Information Update and Multi -Agent Belief Revision:
A. Baltag, D. Fernandez-Duque and N. Bezanishvili, The Topological Mu-Calculus: completeness and decidability, accepted at LICS 2021, to appear in LICS Proceedings, IEEE, 2021
A. Baltag and J. van Benthem, A Simple Logic of Functional Dependence, in Journal of Philosophical logic, First Online March 2021,
A. Baltag, I. Canavotto and S. Smets. Causal agency and responsibility: a refinement of STIT logic, in volume ‘Logic in High Definition’, 149-176, Springer, 2021.
A. Baltag and S. Smets, Learning what Others Know, in L. Kovacs and E. Albert (eds.), LPAR23 proceedings of the International Conference on Logic for Programming AI and Reasoning, EPiC Series in Computing, Volume 73, pp 90-110, 2020.
A. Baltag, J. van Benthem and D. Westerstähl, Compositionality in Context, in the Springer series Outstanding contributions to Logic, Volume for Samson Abramsky, Springer 2020.
A. Baltag, N. Gierasimczuk, A. Özgün, A. L. Vargas Sandoval, and S. Smets. A Dynamic Logic for Learning Theory. Journal of Logical and Algebraic Methods in Programming, Volume 109, 2019. A shorter version was published in Proceedings of the 1st DaLi (2017), pp 35-54.
A. Baltag, N. Bezhanishvili, A. Ozgun, S.Smets, A Topological Approach to Full Belief. Journal of Philosophical Logic (2019), volume 48, Issue 2, pp 205–244 (First online 2018).
A. Baltag, A. Özgün, and A. L. Vargas Sandoval, The Logic of AGM Learning from Partial Observations. Proceedings of the 2nd DaLi (2019), To appear.
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval. APAL with Memory is Better. Proceedings of WOLLIC 2018, pp 106-129.
A. Baltag, N. Bezhanishvili, J. Ilin, A. Özgün. Quotient Dynamics: the Logic of Abstraction. Proceedings of the 6th LORI (2017), pp 181-194.
A. Baltag, A. Özgün, and A. L. Vargas Sandoval. Topo-logic as a Dynamic-Epistemic Logic. Proceedings of the 6th LORI (2017), pp 330-346.
A. Baltag, N. Bezhanishvili, A. Ozgun, S.Smets, Justified True Belief and the Topology of Evidence, Proceedings of the 23rd WoLLIC (2016), pp 83-103.
A. Baltag, To know is to know the value of a variable, Advances in Modal Logic, vol. 11,pp. 135-155, (Eds) L. Beklemishev, S. Dmri and A. Mate, College Publications, 2016.
A. Baltag, N. Bezhanishvili, A. Özgün, S. Smets. The Topology of Full and Weak belief. Post-proceedings of the 11th TbiLLC (2015), pp 205-228. A shorter version was published in Pre-proceedings of ELISIEM Workshop@ESSLLI 2014.
A. Baltag, N. Bezhanishvili, A. Özgün, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. Proceedings of LORI 2013, pp 27-40.
A. Baltag, R. Boddy and S. Smets. Group knowledge in interrogative epistemology. In the Springer series 'outstanding contributions to logic', volume dedicated to J. Hintikka, 2016.
A. Baltag, V. Fiutek and S. Smets. Belief and Evidence in Justification Models. In Advances in Modal Logic, vol. 11, pp. 156-176, (Eds) Lev Beklemishev, Stéphane Demri and András Máté, College Publications, 2016
A. Baltag, Z. Christoff, R. K. Rendsvig, and S. Smets. Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. ILLC Pre-publication PP-2015-22.
A. Baltag, B. Renne, S. Smets. Revisable Justified Belief: Preliminary Report. Cornell Univ. Library Pre-publication arxiv 1503.08141
A. Baltag, S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic , online first 26 April 2015.
A. Baltag, N. Gierasimczuk, S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam, (ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge , TARK 2015, Electronic Proceedings in Theoretical Computer Science, in print 2015. (ILLC Preprint PP-2015-13).
A. Baltag, N. Gierasimczuk, S. Smets, Truth-tracking by belief revision. In Studia Logica , submitted for publication, 2015. (ILLC preprint PP-2014-20)
A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Full and Weak Belief. Proceedings of the 11th International Tbilisi Symposium on Language, Logic and Computation in Lecture Notes in Computer Science , submitted for publication 2015. (ILLC preprint PP-2014-03).
A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topological Theory of Belief, submitted for publication. 2015. (ILLC preprint PP-2015-18).
A. Baltag, 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, 2014. PDF via Springer Open Access
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, Number 1, pp.49-81, 2014.
A. Baltag, V. Fiutek and S. Smets. DDL as and "internalization" of Dynamic Belief Revision. Invited contribution to the first volume in the series Outstanding Contributions to Logic. In K. Segerberg on Logic in Action, Outstanding Contributions to Logic Series, vol.1, Springer, pp.253-280, 2014.
A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. Proceedings of the LORI conference, In Lecture Notes in Computer Science , Volume 8196, pp.27-40, 2013.
A. Baltag, Z. Christoff, J.U. Hansen and S. Smets. Logical Models of Informational Cascades. In Studies in Logic. College Publications, 2013.
A. Baltag and S. Smets, Protocols for Belief Merge: Reaching Agreement via Communication, Logic Journal of the IGPL , Volume 21, Number 3, pp.468-487, 2013.
A. Baltag, B. Rodenhaeuser and S. Smets. Doxastic Attitudes as Belief Revision Policies. Online pre-proceedings of LBP 2012 (the ESSLLI special Workshop on “Strategies for Learning, Belief revision and Preference change” ), Opole, Poland, August 2012.
A. Baltag, B. Renne and S. Smets. The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In Lecture Notes in Computer Science , Vol. 7456, pp. 168-190 (volume of the 19th Workshop on Logic, Language, Information and Computation), 2012.
A. Baltag and S. Smets. A Semantic View on Ramsey's Test, Xabier Arrazola and Marıa Ponte (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication, and Action. LogKCA-10, In Press, 2010.
A. Baltag and S. Smets."Talking Your Way into Agreement: Belief Merge by Persuasive Communication". CEUR Workshop Proceedings, Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7-10, 2009. pp. 129 - 141. 2009
A. Baltag and S. Smets. "Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades". In A. Heifetz (ed.) Proceedings of Theoretical Aspects of Rationality and Knowledge TARK 2009, pp. 41-50, 2009
A. Baltag and S. Smets, "Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points". In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) LNAI Lecture Notes in Computer Science. pp. 124-139. Volume 5514. 2009
P. Balbiani, A. Baltag, H. van Ditmarsch, T. Hoshi and T. de Lima. Arbitrary Announcement Logic. (Abstract of the 2007 annual conference of the Australasian Association for Logic). The Bulletin of Symbolic Logic 14(3), pp. 438-439, 2008.
P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. de Lima and T. Hoshi. "Knowable" as "known after and announcement". Review of Symbolic Logic, Vol. 1, nr.3, pp. 305-334, 2008.
A. Baltag and S. Smets. "The Logic of Conditional Doxastic Actions". In R. van Rooij and K. Apt (eds.), Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction, Volume 4, pp. 9–31, Amsterdam University Press, 2008.
A. Baltag and S. Smets. "A Qualitative Theory of Dynamic Interactive Belief Revision". in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008.
A. Baltag, B. Coecke and M. Sadrzadeh. "Epistemic Actions as Resources" Journal of Logic and Computation 17 (3): 555-585, 2007.
A. Baltag, B. Coecke and M. Sadrzadeh. "Algebra and Sequent Calculus for Epistemic Actions". (Extended Abstract) Proceedings of LCMAS'04 (Workshop on Logic and Communication in Multi - Agent Systems), 60-78, Nancy 2004.
M. Sadrzadeh, A. Baltag and B. Coecke. "Reasoning about Dynamic Epistemic Logic".Proceedings of EUMAS'02 (The 2nd European Workshop on Multi - Agent Systems), 605-614, Barcelona 2004.
A. Baltag, L. S. Moss. "Logics for Epistemic Programs". J. Symons, J. Hintikka. (eds.), W. van der Hoek (special section editor), Synthese ("An International Journal for Epistemology, Methodology and Philosophy of Science"), 139 (2): 165-224, 2004. Kluwer Academic Press. Abstract
A. Baltag, B. Coecke, M. Sadrzadeh. "Epistemic actions as resources". Proceedings of LRPP'04 (LICS Workshop for Resources, Processes and Programs), 29-42, Turku, Finland 2004.
A. Baltag. "Logics for Insecure Communication". J. van Benthem (ed.), Proceedings of TARK'01 (Eighth Conference on Rationality and Knowledge), Morgan Kaufmann, Los Altos, 111-122, 2001. Abstract
A. Baltag. "A Logic of Epistemic Actions". in Wiebe van der Hoek, J. J. Meyer & C. Witteveen (eds.), Proceedings of FACAS'99 (ESSLLI Workshop on "Foundations and Applications of Collective Agent Based Systems"), ESSLLI'99, Utrecht University, 1999.
A. Baltag, L.S. Moss, S. Solecki. "The Logic of Public Announcements, Common Knowledge and Private Suspicions". Proceedings of TARK'98 (Seventh Conference on Theoretical Aspects of Rationality and Knowledge), 43-56. 1998. Morgan Kaufmann Publishers. Abstract