- Algebraic Epistemic and Dynamic Modal Logics
- Theory: Adjoint Modalities, Algebraic-Categrical Models, Proofs
- Application: Classical and Quantum Security Protocols, Intepreted Systems
- Implementation: Software Aximo (written by my student S. Richards)
- Compact Closed Categories in Computational Linguistics
- Compositional Distributed Models of Meaning
- NEW!!! Bell states formalize meaning of logical connectives.
- Lambek Pregroups for Persian
- NEW!!! Cyclic rules formalize clitic movement in Pregroup grammars.
Other Activities:
- Organizing committee! of OASIS: the seminar series of Foundations group.
- Lecturer for the course Logic of Multi-Agent Information Flow.
- I organized a small interdisciplinary logic-linguistics workshop on "Theory and Practice of Meaning Composition in Natural Languages", funded by (and in) Wolfson College and my EPSRC project, Sept'09.
Collaborators:
Mohammad Ardeshir, Alexandru Baltag, Claudia Casadio, Corina Cirstea, Stephen Clark, Bob Coecke, Ellie D'hondt, Roy Dyckhoff, Mathieu Marion, Anne Preller, Riccardo Pucella, Simon Richards.
