Mehrnoosh Sadrzadeh: Publications

[1]	Cut-free Sequent Calculi for Logics with Adjoint Modalities Mehrnoosh Sadrzadeh, Roy Dyckhoff Bulletin of Symbolic Logic, Vol. 15, No. 1, pages 128. 2009. Details \| BibTeX

[2]	Bell States as Negation in Natural Languages Anne Preller, Mehrnoosh Sadrzadeh ENTCS, QPL, University of Oxford, April 2009. 2009. Details \| BibTeX \| Download (pdf)

[3]

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Mehrnoosh Sadrzadeh, Roy Dyckhoff

Electronic Notes in Theoretical Computer Science, Vol. 249, pages 451 - 470. 2009.

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009).

[4]	Aximo: Automated Axiomatic Reasoning for Information Update Simon Richards, Mehrnoosh Sadrzadeh Electronic Notes in Theoretical Computer Science (ENTCS), 2009. Details \| BibTeX

[5]	A Runs-and-Systems Semantics for Logics of Announcement Riccardo Pucella, Mehrnoosh Sadrzadeh Texts in Logic and Games, 2009. Details \| BibTeX \| Download (pdf)

[6]	Implementation of a cut-free sequent calculus for logics with adjoint modalities J. Kriener, M. Sadrzadeh, R. Dyckhoff Technical Report, 2009. Details \| BibTeX \| Link

[7]	Pregroup Analysis of Persian Sentences Mehrnoosh Sadrzadeh In C. Casadio, J. Lambek, editors, Recent computational algebraic approaches to morphology and syntax Polimetrica. 2008. Details \| BibTeX \| Download (pdf)

[8]	A Distributional Compositional Model of Meaning S. Clark, B. Coecke, M. Sadrzadeh QI, College Publications, University of Oxford, March 2008. 2008. Details \| BibTeX

[9]	Ockham's Razor and Reasoning about Information Flow Mehrnoosh Sadrzadeh Synthese, Vol. 167, pages 391 - 408. 2008. Knowledge Rationality Action Issue. Details \| BibTeX

[10]	Classical Knowledge for Quantum Security Ellie D'hondt, Mehrnoosh Sadrzadeh 2008. Details \| BibTeX

[11]	Coalgebraic Epistemic Update without Change of Model C. Cirstea, M. Sadrzadeh LNCS, CALCO, Bergen, August 2007. 2007. Details \| BibTeX

[12]	Epistemic Actions as Resources A. Baltag, B. Coecke, M. Sadrzadeh Journal of Logic and Computation, Vol. 17, pages 555-585. 2007. Details \| BibTeX

[13]	High Level Quantum Structures in Linguistics and Multi Agent Systems Mehrnoosh Sadrzadeh Stanford University, 2007. Details \| BibTeX

[14]	The Algebra of Multi-Agent Dynamic Belief Revision A. Baltag, M. Sadrzadeh Electronic Notes in Theoretical Computer Science, 2006. Details \| BibTeX

[15]	Relating Algebraic and Coalgebraic Logics of Knowledge and Update C. Cirstea, M. Sadrzadeh LOFT, University of Liverpool, 2006. 2006. Details \| BibTeX

[16]	Reasoning about Knowledge in Linear Logic: Modalities and Complexity M. Marion, M. Sadrzadeh In S. Rahman, J. Symons, D. M. Gabbay, J. P. van Bendegem, editor, Logic, Epistemology, and the Unity of Science Kluwer. 2004. Details \| BibTeX

[17]	Modal Linear Logic in Higher Order Logic, an experiment in Coq Mehrnoosh Sadrzadeh Emerging Trends, TPHOLS, Rome, 2003. 2003. Details \| BibTeX