default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexandru Baltag
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c37]Alexandru Baltag:
Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. AiML 2024: 3-4- [c36]Alexandru Baltag, Sonja Smets:
Logics for Data Exchange and Communication. AiML 2024: 147-170 - [i12]Alexandru Baltag, Johan van Benthem:
Knowability as continuity: a topological account of informational dependence. CoRR abs/2401.06962 (2024) - 2023
- [j25]Alexandru Baltag
, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70(5): 33:1-33:38 (2023) - [j24]Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
Arbitrary Public Announcement Logic with Memory. J. Philos. Log. 52(1): 53-110 (2023) - 2022
- [j23]Alexandru Baltag, Dazhu Li, Mina Young Pedersen:
A Modal Logic for Supervised Learning. J. Log. Lang. Inf. 31(2): 213-234 (2022) - [c35]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topology of Surprise. KR 2022 - [i11]Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki:
Logics for Epistemic Actions: Completeness, Decidability, Expressivity. CoRR abs/2203.06744 (2022) - [i10]Alexandru Baltag, Johan van Benthem, Dazhu Li:
A Logical Analysis of Dynamic Dependence. CoRR abs/2204.07839 (2022) - 2021
- [j22]Alexandru Baltag, Johan van Benthem:
A Simple Logic of Functional Dependence. J. Philos. Log. 50(5): 939-1005 (2021) - [c34]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: completeness and decidability. LICS 2021: 1-13 - [i9]Alexandru Baltag, Johan van Benthem:
A Simple Logic of Functional Dependence. CoRR abs/2103.14946 (2021) - [i8]Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: completeness and decidability. CoRR abs/2105.08231 (2021) - [i7]Alexandru Baltag, Sonja Smets:
The Logic of Quantum Programs. CoRR abs/2109.06792 (2021) - [i6]Alexandru Baltag, Sonja Smets:
Learning What Others Know. CoRR abs/2109.07255 (2021) - [i5]Alexandru Baltag, Sonja Smets:
LQP: The Dynamic Logic of Quantum Information. CoRR abs/2110.01361 (2021) - 2020
- [c33]Alexandru Baltag, Sonja Smets:
Learning What Others Know. LPAR 2020: 90-119 - [e3]Luís Soares Barbosa, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents]
2010 – 2019
- 2019
- [j21]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) - [j20]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
A Topological Approach to Full Belief. J. Philos. Log. 48(2): 205-244 (2019) - [j19]Andreea Achimescu, Alexandru Baltag, Joshua Sack:
The probabilistic logic of communication and change. J. Log. Comput. 29(7): 1015-1040 (2019) - [j18]Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets:
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Stud Logica 107(3): 489-531 (2019) - [j17]Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
Truth-Tracking by Belief Revision. Stud Logica 107(5): 917-947 (2019) - [c32]Alexandru Baltag, Dazhu Li, Mina Young Pedersen:
On the Right Path: A Modal Logic for Supervised Learning. LORI 2019: 1-14 - [c31]Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
The Logic of AGM Learning from Partial Observations. DaLí 2019: 35-52 - [c30]Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González:
Topological Evidence Logics: Multi-agent Setting. TbiLLC 2019: 237-257 - [c29]Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González:
The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC 2019: 177-194 - [c28]Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets:
Learning Probabilities: Towards a Logic of Statistical Learning. TARK 2019: 35-49 - [i4]Alexandru Baltag, Dazhu Li, Mina Young Pedersen:
On the Right Path: A Modal Logic for Supervised Learning. CoRR abs/1909.08559 (2019) - 2018
- [j16]Alexandru Baltag, Giovanni Ciná:
Bisimulation for Conditional Modalities. Stud Logica 106(1): 1-33 (2018) - [c27]Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
APAL with Memory Is Better. WoLLIC 2018: 106-129 - 2017
- [j15]Alexandru Baltag, Sonja Smets:
Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Comput. 21(6): 1523-1535 (2017) - [c26]Alexandru Baltag, Andrés Occhipinti Liberman:
Evidence Logics with Relational Evidence. LORI 2017: 17-32 - [c25]Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün:
Quotient Dynamics: The Logic of Abstraction. LORI 2017: 181-194 - [c24]Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
Topo-Logic as a Dynamic-Epistemic Logic. LORI 2017: 330-346 - [c23]Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets:
A Dynamic Logic for Learning Theory. DALI@TABLEAUX 2017: 35-54 - [e2]Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada:
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. Lecture Notes in Computer Science 10455, Springer 2017, ISBN 978-3-662-55664-1 [contents] - [i3]Alexandru Baltag, Andrés Occhipinti Liberman:
Evidence Logics with Relational Evidence. CoRR abs/1706.05905 (2017) - 2016
- [c22]Alexandru Baltag:
To Know is to Know the Value of a Variable. Advances in Modal Logic 2016: 135-155 - [c21]Alexandru Baltag, Virginie Fiutek, Sonja Smets:
Beliefs and Evidence in Justification Models. Advances in Modal Logic 2016: 156-176 - [c20]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
Justified Belief and the Topology of Evidence. WoLLIC 2016: 83-103 - 2015
- [j14]Alexandru Baltag, Sonja Smets:
Logics of Informational Interactions. J. Philos. Log. 44(6): 595-607 (2015) - [c19]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
The Topology of Full and Weak Belief. TbiLLC 2015: 205-228 - [c18]Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
On the Solvability of Inductive Problems: A Study in Epistemic Topology. TARK 2015: 81-98 - [i2]Alexandru Baltag, Bryan Renne, Sonja Smets:
Revisable Justified Belief: Preliminary Report. CoRR abs/1503.08141 (2015) - 2014
- [j13]Alexandru Baltag, Bryan Renne, Sonja Smets:
The logic of justified belief, explicit knowledge, and conclusive evidence. Ann. Pure Appl. Log. 165(1): 49-81 (2014) - [e1]Alexandru Baltag, Sonja Smets:
Johan van Benthem on Logic and Information Dynamics. Springer 2014, ISBN 978-3-319-06024-8 [contents] - 2013
- [j12]Alexandru Baltag, Sonja Smets:
Protocols for belief merge: Reaching agreement via communication. Log. J. IGPL 21(3): 468-487 (2013) - [c17]Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
The Topology of Belief, Belief Revision and Defeasible Knowledge. LORI 2013: 27-40 - [c16]Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong:
Quantum Probabilistic Dyadic Second-Order Logic. WoLLIC 2013: 64-80 - 2012
- [j11]Alexandru Baltag, Sonja Smets:
The dynamic turn in quantum logic. Synth. 186(3): 753-773 (2012) - [c15]Alexandru Baltag, Bryan Renne, Sonja Smets:
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. WoLLIC 2012: 168-190 - [i1]Anya Yermakova, Alexandru Baltag:
A Dynamic-Epistemic Logic for Mobile Structured Agents. CoRR abs/1212.4179 (2012) - 2011
- [j10]Alexandru Baltag, Sonja Smets:
Quantum logic as a dynamic logic. Synth. 179(2): 285-306 (2011) - [c14]Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
Belief revision as a truth-tracking process. TARK 2011: 187-190
2000 – 2009
- 2009
- [j9]Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper:
Keep 'hoping' for rationality: a solution to the backward induction paradox. Synth. 169(2): 301-333 (2009) - [c13]Alexandru Baltag, Sonja Smets:
Talking Your Way into Agreement: Belief Merge by Persuasive Communication. MALLOW 2009 - [c12]Alexandru Baltag, Sonja Smets:
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. TARK 2009: 41-50 - [c11]Alexandru Baltag, Sonja Smets:
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. WoLLIC 2009: 124-139 - [c10]Alexandru Baltag, Sonja Smets:
Correlated Information: A Logic for Multi-Partite Quantum Systems. QPL@MFPS 2009: 3-14 - 2008
- [j8]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): 305-334 (2008) - [j7]Alexandru Baltag, Sonja Smets:
A Dynamic-Logical Perspective on Quantum Behavior. Stud Logica 89(2): 187-211 (2008) - [j6]Alexandru Baltag, Sonja Smets:
Probabilistic dynamic belief revision. Synth. 165(2): 179-202 (2008) - 2007
- [j5]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh:
Epistemic Actions as Resources. J. Log. Comput. 17(3): 555-585 (2007) - [c9]Philippe Balbiani, Alexandru Baltag, Hans 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: 42-51 - [c8]Alexandru Baltag, Sonja Smets:
From conditional probability to the logic of doxastic actions. TARK 2007: 52-61 - 2006
- [j4]Alexandru Baltag, Sonja Smets:
LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3): 491-525 (2006) - [c7]Alexandru Baltag, Sonja Smets:
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. WoLLIC 2006: 5-21 - 2005
- [c6]Alexandru Baltag, Mehrnoosh Sadrzadeh:
The Algebra of Multi-Agent Dynamic Belief Revision. LCMAS 2005: 37-56 - 2004
- [j3]Alexandru Baltag, Lawrence S. Moss:
Logics for Epistemic Programs. Synth. 139(2): 165-224 (2004) - [c5]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions. LCMAS 2004: 27-52 - 2003
- [c4]Alexandru Baltag:
A Coalgebraic Semantics for Epistemic Programs. CMCS 2003: 17-38 - 2000
- [c3]Alexandru Baltag:
A Logic for Coalgebraic Simulation. CMCS 2000: 42-60
1990 – 1999
- 1999
- [j2]Alexandru Baltag:
STS: A Structural Theory of Sets. Log. J. IGPL 7(4): 481-515 (1999) - [j1]Alexandru Baltag:
Interpolation and Preservation for Pebble Logics. J. Symb. Log. 64(2): 846-858 (1999) - 1998
- [c2]Alexandru Baltag:
STS: A Structural Theory of Sets. Advances in Modal Logic 1998: 1-34 - [c1]Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki:
The Logic of Public Announcements and Common Knowledge and Private Suspicions. TARK 1998: 43-56
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
