
Search the dblp DataBase
Mehrnoosh Sadrzadeh:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 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:2752 [Journal]
 Alexandru Baltag, Mehrnoosh Sadrzadeh
The Algebra of MultiAgent Dynamic Belief Revision. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:3756 [Journal]
 Corina Cîrstea, Mehrnoosh Sadrzadeh
Coalgebraic Epistemic Update Without Change of Model. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:158172 [Conf]
 Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Epistemic Actions as Resources. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2007, v:17, n:3, pp:555585 [Journal]
A RunsandSystems Semantics for Logics of Announcements. [Citation Graph (, )][DBLP]
Classical Knowledge for Quantum Security [Citation Graph (, )][DBLP]
Ockham's razor and reasoning about information flow [Citation Graph (, )][DBLP]
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information [Citation Graph (, )][DBLP]
Mathematical Foundations for a Compositional Distributional Model of Meaning [Citation Graph (, )][DBLP]
Modular Games for Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP]
Aximo: Automated Axiomatic Reasoning for Information Update. [Citation Graph (, )][DBLP]
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
