| 2008 |
|---|
| 14 | EE | Alexandru Baltag,
Sonja Smets:
A Dynamic-Logical Perspective on Quantum Behavior.
Studia Logica 89(2): 187-211 (2008) |
| 13 | EE | Alexandru Baltag,
Sonja Smets:
Probabilistic dynamic belief revision.
Synthese 165(2): 179-202 (2008) |
| 2007 |
|---|
| 12 | EE | Philippe Balbiani,
Alexandru Baltag,
Hans P. van Ditmarsch,
Andreas Herzig,
T. Hoshi,
Tiago De Lima:
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.
TARK 2007: 42-51 |
| 11 | EE | Alexandru Baltag,
Sonja Smets:
From conditional probability to the logic of doxastic actions.
TARK 2007: 52-61 |
| 10 | EE | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Epistemic Actions as Resources.
J. Log. Comput. 17(3): 555-585 (2007) |
| 2006 |
|---|
| 9 | EE | Alexandru Baltag,
Mehrnoosh Sadrzadeh:
The Algebra of Multi-Agent Dynamic Belief Revision.
Electr. Notes Theor. Comput. Sci. 157(4): 37-56 (2006) |
| 8 | EE | Alexandru Baltag,
Sonja Smets:
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision.
Electr. Notes Theor. Comput. Sci. 165: 5-21 (2006) |
| 7 | EE | Alexandru Baltag,
Sonja Smets:
LQP: the dynamic logic of quantum information.
Mathematical Structures in Computer Science 16(3): 491-525 (2006) |
| 2005 |
|---|
| 6 | EE | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions.
Electr. Notes Theor. Comput. Sci. 126: 27-52 (2005) |
| 2003 |
|---|
| 5 | EE | Alexandru Baltag:
A Coalgebraic Semantics for Epistemic Programs.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2000 |
|---|
| 4 | EE | Alexandru Baltag:
A Logic for Coalgebraic Simulation.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1999 |
|---|
| 3 | | Alexandru Baltag:
Interpolation and Preservation for Pebble Logics.
J. Symb. Log. 64(2): 846-858 (1999) |
| 2 | EE | Alexandru Baltag:
STS: A Structural Theory of Sets.
Logic Journal of the IGPL 7(4): 481-515 (1999) |
| 1998 |
|---|
| 1 | | Alexandru Baltag:
STS: A Structural Theory of Sets.
Advances in Modal Logic 1998: 1-34 |
