Alexandru Baltag

82 papers A* 2B 14C 7Journal 40Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups. CoRR Alexandru Baltag, Sonja Smets
2025	B	`conf`	Group Knowledge of Hypothetical Values. TARK Alexandru Baltag, Sonja Smets
2025	—	`conf`	How to Avoid Unexpected Exams. LORI Alexandru Baltag, Sonja Smets
2025	J	`jnl`	The topology of surprise. Artif. Intell. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2025	J	`jnl`	Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version). CoRR Alexandru Baltag, Malvin Gattinger, Djanira Gomes
2024	B	`conf`	Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. AiML Alexandru Baltag
2024	J	`jnl`	Knowability as continuity: a topological account of informational dependence. CoRR Alexandru Baltag, Johan van Benthem
2024	B	`conf`	Logics for Data Exchange and Communication. AiML Alexandru Baltag, Sonja Smets
2023	J	`jnl`	Arbitrary Public Announcement Logic with Memory. J. Philos. Log. Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
2023	J	`jnl`	The Topological Mu-Calculus: Completeness and Decidability. J. ACM Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2022	J	`jnl`	A Logical Analysis of Dynamic Dependence. CoRR Alexandru Baltag, Johan van Benthem, Dazhu Li
2022	J	`jnl`	A Modal Logic for Supervised Learning. J. Log. Lang. Inf. Alexandru Baltag, Dazhu Li, Mina Young Pedersen
2022	J	`jnl`	Logics for Epistemic Actions: Completeness, Decidability, Expressivity. CoRR Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
2022	A*	`conf`	The Topology of Surprise. KR Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	A Simple Logic of Functional Dependence. CoRR Alexandru Baltag, Johan van Benthem
2021	J	`jnl`	A Simple Logic of Functional Dependence. J. Philos. Log. Alexandru Baltag, Johan van Benthem
2021	J	`jnl`	LQP: The Dynamic Logic of Quantum Information. CoRR Alexandru Baltag, Sonja Smets
2021	J	`jnl`	Learning What Others Know. CoRR Alexandru Baltag, Sonja Smets
2021	J	`jnl`	The Logic of Quantum Programs. CoRR Alexandru Baltag, Sonja Smets
2021	A*	`conf`	The Topological Mu-Calculus: completeness and decidability. LICS Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	The Topological Mu-Calculus: completeness and decidability. CoRR Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2020	—	`ed.`	Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings DaLí Luís Soares Barbosa, Alexandru Baltag
2020	B	`conf`	Learning What Others Know. LPAR Alexandru Baltag, Sonja Smets
2019	J	`jnl`	A Topological Approach to Full Belief. J. Philos. Log. Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2019	J	`jnl`	A dynamic logic for learning theory. J. Log. Algebraic Methods Program. Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
2019	J	`jnl`	Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Stud Logica Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets
2019	B	`conf`	Learning Probabilities: Towards a Logic of Statistical Learning. TARK Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets
2019	—	`conf`	On the Right Path: A Modal Logic for Supervised Learning. LORI Alexandru Baltag, Dazhu Li, Mina Young Pedersen
2019	J	`jnl`	On the Right Path: A Modal Logic for Supervised Learning. CoRR Alexandru Baltag, Dazhu Li, Mina Young Pedersen
2019	—	`conf`	The Logic of AGM Learning from Partial Observations. DaLí Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
2019	C	`conf`	The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
2019	J	`jnl`	The probabilistic logic of communication and change. J. Log. Comput. Andreea Achimescu, Alexandru Baltag, Joshua Sack
2019	—	`conf`	Topological Evidence Logics: Multi-agent Setting. TbiLLC Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
2019	J	`jnl`	Truth-Tracking by Belief Revision. Stud Logica Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2018	C	`conf`	APAL with Memory Is Better. WoLLIC Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
2018	J	`jnl`	Bisimulation for Conditional Modalities. Stud Logica Alexandru Baltag, Giovanni Ciná
2017	—	`conf`	A Dynamic Logic for Learning Theory. DALI@TABLEAUX Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
2017	—	`conf`	Evidence Logics with Relational Evidence. LORI Alexandru Baltag, Andrés Occhipinti Liberman
2017	J	`jnl`	Evidence Logics with Relational Evidence. CoRR Alexandru Baltag, Andrés Occhipinti Liberman
2017	—	`ed.`	Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings LORI Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada
2017	J	`jnl`	Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Comput. Alexandru Baltag, Sonja Smets
2017	—	`conf`	Quotient Dynamics: The Logic of Abstraction. LORI Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün
2017	—	`conf`	Topo-Logic as a Dynamic-Epistemic Logic. LORI Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
2016	B	`conf`	Beliefs and Evidence in Justification Models. Advances in Modal Logic Alexandru Baltag, Virginie Fiutek, Sonja Smets
2016	C	`conf`	Justified Belief and the Topology of Evidence. WoLLIC Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2016	B	`conf`	To Know is to Know the Value of a Variable. Advances in Modal Logic Alexandru Baltag
2015	J	`jnl`	Logics of Informational Interactions. J. Philos. Log. Alexandru Baltag, Sonja Smets
2015	B	`conf`	On the Solvability of Inductive Problems: A Study in Epistemic Topology. TARK Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2015	J	`jnl`	Revisable Justified Belief: Preliminary Report. CoRR Alexandru Baltag, Bryan Renne, Sonja Smets
2015	—	`conf`	The Topology of Full and Weak Belief. TbiLLC Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2014	—	`book`	Johan van Benthem on Logic and Information Dynamics Alexandru Baltag, Sonja Smets
2014	J	`jnl`	The logic of justified belief, explicit knowledge, and conclusive evidence. Ann. Pure Appl. Log. Alexandru Baltag, Bryan Renne, Sonja Smets
2013	J	`jnl`	Protocols for belief merge: Reaching agreement via communication. Log. J. IGPL Alexandru Baltag, Sonja Smets
2013	C	`conf`	Quantum Probabilistic Dyadic Second-Order Logic. WoLLIC Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
2013	—	`conf`	The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2012	J	`jnl`	A Dynamic-Epistemic Logic for Mobile Structured Agents CoRR Anya Yermakova, Alexandru Baltag
2012	C	`conf`	The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. WoLLIC Alexandru Baltag, Bryan Renne, Sonja Smets
2012	J	`jnl`	The dynamic turn in quantum logic. Synth. Alexandru Baltag, Sonja Smets
2011	B	`conf`	Belief revision as a truth-tracking process. TARK Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2011	J	`jnl`	Quantum logic as a dynamic logic. Synth. Alexandru Baltag, Sonja Smets
2009	—	`conf`	Correlated Information: A Logic for Multi-Partite Quantum Systems. QPL@MFPS Alexandru Baltag, Sonja Smets
2009	B	`conf`	Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. TARK Alexandru Baltag, Sonja Smets
2009	J	`jnl`	Keep 'hoping' for rationality: a solution to the backward induction paradox. Synth. Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper
2009	C	`conf`	Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. WoLLIC Alexandru Baltag, Sonja Smets
2009	—	`conf`	Talking Your Way into Agreement: Belief Merge by Persuasive Communication. MALLOW Alexandru Baltag, Sonja Smets
2008	J	`jnl`	'Knowable' as 'known after an announcement'. Rev. Symb. Log. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2008	J	`jnl`	A Dynamic-Logical Perspective on Quantum Behavior. Stud Logica Alexandru Baltag, Sonja Smets
2008	J	`jnl`	Probabilistic dynamic belief revision. Synth. Alexandru Baltag, Sonja Smets
2007	J	`jnl`	Epistemic Actions as Resources. J. Log. Comput. Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
2007	B	`conf`	From conditional probability to the logic of doxastic actions. TARK Alexandru Baltag, Sonja Smets
2007	B	`conf`	What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2006	C	`conf`	Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. WoLLIC Alexandru Baltag, Sonja Smets
2006	J	`jnl`	LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. Alexandru Baltag, Sonja Smets
2005	—	`conf`	The Algebra of Multi-Agent Dynamic Belief Revision. LCMAS Alexandru Baltag, Mehrnoosh Sadrzadeh
2004	—	`conf`	Algebra and Sequent Calculus for Epistemic Actions. LCMAS Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
2004	J	`jnl`	Logics for Epistemic Programs. Synth. Alexandru Baltag, Lawrence S. Moss
2003	—	`conf`	A Coalgebraic Semantics for Epistemic Programs. CMCS Alexandru Baltag
2000	—	`conf`	A Logic for Coalgebraic Simulation. CMCS Alexandru Baltag
1999	J	`jnl`	Interpolation and Preservation for Pebble Logics. J. Symb. Log. Alexandru Baltag
1999	J	`jnl`	STS: A Structural Theory of Sets. Log. J. IGPL Alexandru Baltag
1998	B	`conf`	STS: A Structural Theory of Sets. Advances in Modal Logic Alexandru Baltag
1998	B	`conf`	The Logic of Public Announcements and Common Knowledge and Private Suspicions. TARK Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki