Warning - the bibtex entry below may be invalid: 
Missing 'institution' field 
@techreport{KreinerSadrRoy,
  author = "J. Kriener, M. Sadrzadeh and R. Dyckhoff",
  journal = "Computing Research Repository",
  title = "Implementation of a cut-free sequent calculus for logics with adjoint modalities",
  url = "http://arxiv.org/abs/0903.2448",
  volume = "abs/0903.2448",
  year = "2009",
}


    
      @article{RoySadr2,
  author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
  journal = "Bulletin of Symbolic Logic",
  number = "1",
  pages = "128",
  title = "Cut-free Sequent Calculi for Logics with Adjoint Modalities",
  volume = "15",
  year = "2009",
}


    
      @article{AnneSadr,
  author = "Anne Preller and Mehrnoosh Sadrzadeh",
  journal = "ENTCS, QPL, University of Oxford, April 2009.",
  title = "Bell States as Negation in Natural Languages",
  year = "2009",
}


    
      @article{RoySadr,
  author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
  journal = "Electronic Notes in Theoretical Computer Science",
  keywords = "positive modal logic, epistemic, doxastic, distributive lattice, Galois connection, adjunction, information, belief, proof theory",
  note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)",
  pages = "451 - 470",
  title = "Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information",
  url = "http://www.sciencedirect.com/science/article/B75H1-4X0X56M-T/2/170c882596cbeb7b4f8b5076b35d5c77",
  volume = "249",
  year = "2009",
}


    
      @article{Simon-Mehrs,
  abstract = "We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent systems and an implementation of it as the C++ program Aximo. The program consists of a rewrite system and a recursive reasoner, and we prove that its decision procedure is sound with regard to the algebraic axiomatics of dynamic epistemic logic. We study the termination and complexity of the program and show its applicability, by proving properties of honest and also newer dishonest versions of the the muddy children puzzle as well as a coin toss scenario.",
  author = "Simon Richards and Mehrnoosh Sadrzadeh",
  journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
  title = "Aximo: Automated Axiomatic Reasoning for Information Update",
  year = "2009",
}


    
      @article{Ric-Mehrs,
  abstract = "Logics of announcements are logics of knowledge to reason about agents that communicate by broadcasting interpreted messages. These logics are typically given a semantics in terms of updatable Kripke structures, which tend to be abstract. We revisit the semantics of logics of announcements and develop a concrete semantics using runs and systems. The advantage is that we can devise models that capture scenarios without having to express properties of those scenarios within the logic itself. In this concrete setting, we study honesty as well as belief in the presence of announcements that are not broadcast to all agents in a system.",
  author = "Riccardo Pucella and Mehrnoosh Sadrzadeh",
  journal = "Texts in Logic and Games",
  publisher = "University of Amsterdam",
  title = "A Runs-and-Systems Semantics for Logics of Announcement",
  year = "2009",
}


    
      @article{ClarkCoeckeSadr,
  author = "S. Clark, B. Coecke, M. Sadrzadeh",
  journal = "QI, College Publications, University of Oxford, March 2008.",
  location = "University of Oxford",
  publisher = "College Publications",
  series = "Proceedings of Conference on Quantum Interactions",
  title = "A Distributional Compositional Model of Meaning",
  year = "2008",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'booktitle' field 
@inproceedings{DhontSadr,
  author = "Ellie D'hondt and Mehrnoosh Sadrzadeh",
  journal = "ENTCS, QPL, Iceland, April 2008.",
  location = "Iceland",
  series = "Electronic Notes in Theoretical Computer Science",
  title = "Classical Knowledge for Quantum Security",
  year = "2008",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{PersPregroup,
  author = "Mehrnoosh Sadrzadeh",
  booktitle = "Recent computational algebraic approaches to morphology and syntax",
  editor = "C. Casadio and J. Lambek",
  location = "Milan",
  publisher = "Polimetrica",
  title = "Pregroup Analysis of Persian Sentences",
  year = "2008",
}


    
      @article{SadrOckham,
  author = "Mehrnoosh Sadrzadeh",
  journal = "Synthese",
  note = "Knowledge Rationality Action Issue",
  pages = "391 - 408",
  title = "Ockham's Razor and Reasoning about Information Flow",
  volume = "167",
  year = "2008",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'booktitle' field 
@inproceedings{SadrQI,
  author = "Mehrnoosh Sadrzadeh",
  journal = "QI, AAAI Publications, Stanford University, March 2007.",
  publisher = "Stanford University",
  series = "Proceedings of the AAAI Spring Symposium on Quantum Interaction",
  title = "High Level Quantum Structures in Linguistics and Multi Agent Systems",
  year = "2007",
}


    
      @article{CirsteaSadr,
  author = "C. Cirstea and M. Sadrzadeh",
  journal = "LNCS, CALCO, Bergen, August 2007.",
  series = "Lecture Notes in Computer Science",
  title = "Coalgebraic Epistemic Update without Change of Model",
  year = "2007",
}


    
      @article{BaltagCoeckeSadr,
  author = "A. Baltag, B. Coecke, M. Sadrzadeh",
  journal = "Journal of Logic and Computation",
  pages = "555-585",
  title = "Epistemic Actions as Resources",
  volume = "17",
  year = "2007",
}


    
      @article{BaltagSadr,
  author = "A. Baltag and M. Sadrzadeh",
  journal = "Electronic Notes in Theoretical Computer Science",
  title = "The Algebra of Multi-Agent Dynamic Belief Revision",
  year = "2006",
}


    
      @article{ClarkCoeckeSadr2,
  author = "C. Cirstea and M. Sadrzadeh",
  journal = "LOFT, University of Liverpool, 2006.",
  publisher = "University of Liverpool",
  series = "Proceedings of the 7'th conference on Logic and the Foundations of Game and Decision Theory",
  title = "Relating Algebraic and Coalgebraic Logics of Knowledge and Update",
  year = "2006",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{MarionSadr,
  author = "M. Marion and M. Sadrzadeh",
  booktitle = "Logic, Epistemology, and the Unity of Science",
  editor = "S. Rahman, J. Symons, D. M. Gabbay, J. P. van Bendegem",
  location = "Dordrecht",
  publisher = "Kluwer",
  title = "Reasoning about Knowledge in Linear Logic: Modalities and Complexity",
  year = "2004",
}


    
      @article{SadrCoq,
  author = "Mehrnoosh Sadrzadeh",
  journal = "Emerging Trends, TPHOLS, Rome, 2003.",
  location = "Rome",
  series = "Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS)",
  title = "Modal Linear Logic in Higher Order Logic, an experiment in Coq",
  year = "2003",
}