Mehrnoosh Sadrzadeh
Papers
2
Total Citations
10
H-Index
2
About
Mehrnoosh Sadrzadeh is a leading researcher in the intersection of logic, algebra, and computer science, with a primary focus on categorical and modal logics for reasoning about action, change, and computation. Her work develops rigorous algebraic and proof-theoretic foundations for dynamic logics, particularly intuitionistic modal logics that model how actions update propositions and knowledge in evolving environments. A key contribution is her development of cut-free nested sequent calculi for intuitionistic logics of propositions, actions, and adjoint modal operators, which provide a basis for proof search procedures and deepen our understanding of the weakest precondition and update modalities from program logics. Her paper "Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators" (2013, 6 citations) exemplifies this foundational work. In "Learning in a Changing World, an Algebraic Modal Logical Approach" (2011, 4 citations), she extends these ideas to model learning and adaptation in dynamic systems. Sadrzadeh’s research is notable for its elegant synthesis of category theory, proof theory, and modal logic, offering powerful tools for reasoning about computation and knowledge in flux. Her contributions are highly regarded in the communities of algebraic logic, theoretical computer science, and formal semantics.
Research Focus
Key Achievements
Top Papers
- 1
- 2Learning in a Changing World, an Algebraic Modal Logical Approach4 citations · 2011