Mehrnoosh Sadrzadeh | Queen Mary, University of London (original) (raw)

Mehrnoosh Sadrzadeh

Uploads

Papers by Mehrnoosh Sadrzadeh

Research paper thumbnail of Aximo: Automated Axiomatic Reasoning for Information Update

We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent syst... more 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 ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reasoning About Factual Games Using Information Updates

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Bachelard’s Dialectization of Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Diagrammatic Reasoning about Meaning of Sentences

Bookmarks Related papers MentionsView impact

Research paper thumbnail of An epistemic measurement system for quantum security

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Computing Science Group

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A cut-free sequent calculus for distributive lattices with adjoint pairs of modal operators

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Cut-free sequent calculi for algebras with adjoint modalities

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reasong about Dynamic Epistemic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Distributional Compositional Model of Meaning

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Learning in a Changing World: an algebraic modal logical approach

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards a Logic for Reasoning About Learning in a Changing World

Abstract We develop an algebraic modal logic that combines epistemic and dynamic modalities with ... more Abstract We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that “change the state” of the underlying system and not just the state of knowledge of the agents. The key novel feature that emerges is the need to have a way of “inverting transitions” and distinguishing between transitions that “really happen” and transitions that ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Cut− Free Sequent Calculus for Algebraic Dynamic Epistemic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Learning in a changing world via algebraic modal logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A quantitative algebraic analysis of BB’84 with maximal entropy

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Cyclic pregroups and natural language: a computational algebraic analysis

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Open System Categorical Quantum Semantics in Natural Language Processing

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Backward Planning in the Logics of Communication and Change

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Aximo: Automated Axiomatic Reasoning for Information Update

We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent syst... more 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 ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reasoning About Factual Games Using Information Updates

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Bachelard’s Dialectization of Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Diagrammatic Reasoning about Meaning of Sentences

Bookmarks Related papers MentionsView impact

Research paper thumbnail of An epistemic measurement system for quantum security

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Computing Science Group

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A cut-free sequent calculus for distributive lattices with adjoint pairs of modal operators

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Cut-free sequent calculi for algebras with adjoint modalities

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reasong about Dynamic Epistemic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Distributional Compositional Model of Meaning

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Learning in a Changing World: an algebraic modal logical approach

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards a Logic for Reasoning About Learning in a Changing World

Abstract We develop an algebraic modal logic that combines epistemic and dynamic modalities with ... more Abstract We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that “change the state” of the underlying system and not just the state of knowledge of the agents. The key novel feature that emerges is the need to have a way of “inverting transitions” and distinguishing between transitions that “really happen” and transitions that ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Cut− Free Sequent Calculus for Algebraic Dynamic Epistemic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Learning in a changing world via algebraic modal logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A quantitative algebraic analysis of BB’84 with maximal entropy

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Cyclic pregroups and natural language: a computational algebraic analysis

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Open System Categorical Quantum Semantics in Natural Language Processing

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Backward Planning in the Logics of Communication and Change

Bookmarks Related papers MentionsView impact

Log In