vezwork/modallogic

Bugs from logic classmates peer feedback

vezwork opened this issue · 0 comments

vezwork commented

  • Fixed in commit. In epistemic logic it is expected that the accessibility relation is an equivalence relation, this is not reflected in-app.

    "toggle buttons could be added to enforce that each agent is reflexive, symmetric and transitive".

    From SEP: "for Ka to capture knowledge, the relation Ra must be an equivalence relation" i.e.

    • reflexive
    • symmetric
    • transitive

  • Fixed in commit. It appears that deleting a relation arrow of an agent does not update the model URL. This means that when shared after deleting an agent relation, the shared model will not be correct.

  • Fixed in commit.K[a]K[b]p does not work, but K[a](K[b]p) does. Likewise ~K[a]p does not work, but ~(K[a]p) does.

  • Fixed in commit. K[q]a is evaluated despite being incorrect. q is not an agent and a is not a propositional variable. Relevant code

  • Fixed in commit. Adding reflexive loops to individual worlds is broken. The display of reflexive loops is also not working.