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