Alexandru Baltag

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 37

Top Topics

Supervised Learning

Topological Properties

Belief Revision

Top Venues

J. Philos. Log.

Publications

Alexandru Baltag, Johan van Benthem
Knowability as continuity: a topological account of informational dependence. CoRR (2024)
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
Arbitrary Public Announcement Logic with Memory. J. Philos. Log. 52 (1) (2023)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70 (5) (2023)
Alexandru Baltag, Johan van Benthem, Dazhu Li
A Logical Analysis of Dynamic Dependence. CoRR (2022)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topology of Surprise. KR (2022)
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
Logics for Epistemic Actions: Completeness, Decidability, Expressivity. CoRR (2022)
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
A Modal Logic for Supervised Learning. J. Log. Lang. Inf. 31 (2) (2022)
Alexandru Baltag, Sonja Smets
LQP: The Dynamic Logic of Quantum Information. CoRR (2021)
Alexandru Baltag, Sonja Smets
Learning What Others Know. CoRR (2021)
Alexandru Baltag, Sonja Smets
The Logic of Quantum Programs. CoRR (2021)
Alexandru Baltag, Johan van Benthem
A Simple Logic of Functional Dependence. CoRR (2021)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: completeness and decidability. LICS (2021)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: completeness and decidability. CoRR (2021)
Alexandru Baltag, Johan van Benthem
A Simple Logic of Functional Dependence. J. Philos. Log. 50 (5) (2021)
Alexandru Baltag, Sonja Smets
Learning What Others Know. LPAR (2020)
Andreea Achimescu, Alexandru Baltag, Joshua Sack
The probabilistic logic of communication and change. J. Log. Comput. 29 (7) (2019)
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
Truth-Tracking by Belief Revision. Stud Logica 107 (5) (2019)
Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets
Learning Probabilities: Towards a Logic of Statistical Learning. TARK (2019)
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
The Logic of AGM Learning from Partial Observations. DaLí (2019)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
A Topological Approach to Full Belief. J. Philos. Log. 48 (2) (2019)
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
Topological Evidence Logics: Multi-agent Setting. TbiLLC (2019)
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
On the Right Path: A Modal Logic for Supervised Learning. CoRR (2019)
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC (2019)
Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Stud Logica 107 (3) (2019)
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
On the Right Path: A Modal Logic for Supervised Learning. LORI (2019)
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
A dynamic logic for learning theory. J. Log. Algebraic Methods Program. 109 (2019)
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
APAL with Memory Is Better. WoLLIC (2018)
Alexandru Baltag, Giovanni Ciná
Bisimulation for Conditional Modalities. Stud Logica 106 (1) (2018)
Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün
Quotient Dynamics: The Logic of Abstraction. LORI (2017)
Alexandru Baltag, Sonja Smets
Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Comput. 21 (6) (2017)
Alexandru Baltag, Andrés Occhipinti Liberman
Evidence Logics with Relational Evidence. LORI (2017)
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
Topo-Logic as a Dynamic-Epistemic Logic. LORI (2017)
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
A Dynamic Logic for Learning Theory. DALI@TABLEAUX (2017)
Alexandru Baltag, Andrés Occhipinti Liberman
Evidence Logics with Relational Evidence. CoRR (2017)
Alexandru Baltag
To Know is to Know the Value of a Variable. Advances in Modal Logic (2016)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
Justified Belief and the Topology of Evidence. WoLLIC (2016)
Alexandru Baltag, Virginie Fiutek, Sonja Smets
Beliefs and Evidence in Justification Models. Advances in Modal Logic (2016)
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
On the Solvability of Inductive Problems: A Study in Epistemic Topology. TARK (2015)
Alexandru Baltag, Bryan Renne, Sonja Smets
Revisable Justified Belief: Preliminary Report. CoRR (2015)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
The Topology of Full and Weak Belief. TbiLLC (2015)
Alexandru Baltag, Sonja Smets
Logics of Informational Interactions. J. Philos. Log. 44 (6) (2015)
Alexandru Baltag, Bryan Renne, Sonja Smets
The logic of justified belief, explicit knowledge, and conclusive evidence. Ann. Pure Appl. Log. 165 (1) (2014)
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI (2013)
Alexandru Baltag, Sonja Smets
Protocols for belief merge: Reaching agreement via communication. Log. J. IGPL 21 (3) (2013)
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
Quantum Probabilistic Dyadic Second-Order Logic. WoLLIC (2013)
Anya Yermakova, Alexandru Baltag
A Dynamic-Epistemic Logic for Mobile Structured Agents CoRR (2012)
Alexandru Baltag, Bryan Renne, Sonja Smets
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. WoLLIC (2012)
Alexandru Baltag, Sonja Smets
The dynamic turn in quantum logic. Synth. 186 (3) (2012)
Alexandru Baltag, Sonja Smets
Correlated Information: A Logic for Multi-Partite Quantum Systems. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
Belief revision as a truth-tracking process. TARK (2011)
Alexandru Baltag, Sonja Smets
Quantum logic as a dynamic logic. Synth. 179 (2) (2011)
Alexandru Baltag, Sonja Smets
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. WoLLIC (2009)
Alexandru Baltag, Sonja Smets
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. TARK (2009)
Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper
Keep 'hoping' for rationality: a solution to the backward induction paradox. Synth. 169 (2) (2009)
Alexandru Baltag, Sonja Smets
Talking Your Way into Agreement: Belief Merge by Persuasive Communication. MALLOW (2009)
Alexandru Baltag, Sonja Smets
A Dynamic-Logical Perspective on Quantum Behavior. Stud Logica 89 (2) (2008)
Alexandru Baltag, Sonja Smets
Probabilistic dynamic belief revision. Synth. 165 (2) (2008)
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
'Knowable' as 'known after an announcement'. Rev. Symb. Log. 1 (3) (2008)
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Epistemic Actions as Resources. J. Log. Comput. 17 (3) (2007)
Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK (2007)
Alexandru Baltag, Sonja Smets
From conditional probability to the logic of doxastic actions. TARK (2007)
Alexandru Baltag, Mehrnoosh Sadrzadeh
The Algebra of Multi-Agent Dynamic Belief Revision. Electron. Notes Theor. Comput. Sci. 157 (4) (2006)
Alexandru Baltag, Sonja Smets
LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16 (3) (2006)
Alexandru Baltag, Sonja Smets
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. Electron. Notes Theor. Comput. Sci. 165 (2006)
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Algebra and Sequent Calculus for Epistemic Actions. Electron. Notes Theor. Comput. Sci. 126 (2005)
Alexandru Baltag, Lawrence S. Moss
Logics for Epistemic Programs. Synth. 139 (2) (2004)
Alexandru Baltag
A Coalgebraic Semantics for Epistemic Programs. CMCS (2003)
Alexandru Baltag
A Logic for Coalgebraic Simulation. CMCS (2000)
Alexandru Baltag
Interpolation and Preservation for Pebble Logics. J. Symb. Log. 64 (2) (1999)
Alexandru Baltag
STS: A Structural Theory of Sets. Log. J. IGPL 7 (4) (1999)
Alexandru Baltag
STS: A Structural Theory of Sets. Advances in Modal Logic (1998)
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
The Logic of Public Announcements and Common Knowledge and Private Suspicions. TARK (1998)