| 2009 |
|---|
| 10 | EE | Mehrnoosh Sadrzadeh,
Roy Dyckhoff:
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
CoRR abs/0903.2448: (2009) |
| 9 | EE | Simon Richards,
Mehrnoosh Sadrzadeh:
Aximo: Automated Axiomatic Reasoning for Information Update.
Electr. Notes Theor. Comput. Sci. 231: 211-225 (2009) |
| 8 | EE | Mehrnoosh Sadrzadeh:
Ockham's razor and reasoning about information flow.
Synthese 167(2): 391-408 (2009) |
| 2008 |
|---|
| 7 | EE | Mehrnoosh Sadrzadeh:
Ockham's razor and reasoning about information flow
CoRR abs/0808.1354: (2008) |
| 6 | EE | Ellie D'Hondt,
Mehrnoosh Sadrzadeh:
Classical Knowledge for Quantum Security
CoRR abs/0808.3574: (2008) |
| 5 | EE | Corina Cîrstea,
Mehrnoosh Sadrzadeh:
Modular Games for Coalgebraic Fixed Point Logics.
Electr. Notes Theor. Comput. Sci. 203(5): 71-92 (2008) |
| 2007 |
|---|
| 4 | EE | Corina Cîrstea,
Mehrnoosh Sadrzadeh:
Coalgebraic Epistemic Update Without Change of Model.
CALCO 2007: 158-172 |
| 3 | EE | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Epistemic Actions as Resources.
J. Log. Comput. 17(3): 555-585 (2007) |
| 2006 |
|---|
| 2 | EE | Alexandru Baltag,
Mehrnoosh Sadrzadeh:
The Algebra of Multi-Agent Dynamic Belief Revision.
Electr. Notes Theor. Comput. Sci. 157(4): 37-56 (2006) |
| 2005 |
|---|
| 1 | EE | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions.
Electr. Notes Theor. Comput. Sci. 126: 27-52 (2005) |
