Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Corina Cîrstea, Mehrnoosh Sadrzadeh
   Coalgebraic Epistemic Update Without Change of Model. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:158-172 [Conf]
   
4. 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]
   
5. 
   A Runs-and-Systems Semantics for Logics of Announcements. [Citation Graph (, )][DBLP]
   
   
6. 
   Classical Knowledge for Quantum Security [Citation Graph (, )][DBLP]
   
   
7. 
   Ockham's razor and reasoning about information flow [Citation Graph (, )][DBLP]
   
   
8. 
   Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information [Citation Graph (, )][DBLP]
   
   
9. 
   Mathematical Foundations for a Compositional Distributional Model of Meaning [Citation Graph (, )][DBLP]
   
   
10. 
    Modular Games for Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP]
    
    
11. 
    Aximo: Automated Axiomatic Reasoning for Information Update. [Citation Graph (, )][DBLP]
    
    
12. 
    Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. [Citation Graph (, )][DBLP]