|
Search the dblp DataBase
Alexandru Baltag:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alexandru Baltag
STS: A Structural Theory of Sets. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 1998, pp:1-34 [Conf]
- Alexandru Baltag
A Logic for Coalgebraic Simulation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
- Alexandru Baltag
A Coalgebraic Semantics for Epistemic Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
- Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Algebra and Sequent Calculus for Epistemic Actions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:27-52 [Journal]
- Alexandru Baltag, Mehrnoosh Sadrzadeh
The Algebra of Multi-Agent Dynamic Belief Revision. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:37-56 [Journal]
- Alexandru Baltag, Sonja Smets
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:5-21 [Journal]
- Alexandru Baltag
STS: A Structural Theory of Sets. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 1999, v:7, n:4, pp:481-515 [Journal]
- Alexandru Baltag
Interpolation and Preservation for Pebble Logics. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:846-858 [Journal]
- Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Epistemic Actions as Resources. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2007, v:17, n:3, pp:555-585 [Journal]
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP]
From conditional probability to the logic of doxastic actions. [Citation Graph (, )][DBLP]
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. [Citation Graph (, )][DBLP]
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. [Citation Graph (, )][DBLP]
Talking Your Way into Agreement: Belief Merge by Persuasive Communication. [Citation Graph (, )][DBLP]
Search in 0.041secs, Finished in 0.042secs
|