rkirsling / modallogic Goto Github PK

Hello, your site was recommended in a Modal Logic course I'm currently taking and I found it really useful and interesting.

The link rkirsling.github.com/modallogic redirects to a 404 error, but the site is accessible via rkirsling.github.io/modallogic . This would make the program be more accesible, as people may find it hard to find the correct link and think the site does not work anymore.

Hi @rkirsling ! I'm a student taking a non-classical logic course at the University of Calgary. During the course, I made great use of the Modal Logic Playground as an intuitive learning method and a place to test formulas while writing assignments.

During the Epistemic Logic section of the course, I wished that there was a version of the Modal Logic Playground that supported multiple agents and the knowledge operator K_a from Epistemic Logic.

Specifically, I'm interested in the Epistemic Modal Logic (ML) logic as defined here: https://plato.stanford.edu/entries/dynamic-epistemic/appendix-A-kripke.html#mjx-eqn-ML%20, but with the knowledge [a] operator notated as K_a instead.

For my final project, I want to contribute the following features to the Modal Logic Playground:

• Add the ability to interactively define multiple agent’s binary accessibility relations using the existing model editing UI. Each agent will be associated with a different color arrow, with labels for accessibility.

Figure 1: A mock-up of the Epistemic Logic Playground. Notice the buttons for selecting a epistemic agent to modify in the top left, and the different colors of labelled arrows representing different agent’s accessibility relations. See figure 1 below.

• Add the ability to use the agent knowledge K_a operator in the ”Evaluate Formula” tab. See figure 2 below.

Figure 2: Proposed syntax for the textual representation of the Epistemic Logic agent knowledge operator K_a, as well as an explanation of the syntax at the bottom of the image.

• Add the ability to switch between normal Modal Logic and Epistemic Logic modes. See figure 3 below.

Figure 3: Buttons for switching between existing Modal Logic and proposed Epistemic Logic functionality

• Include information on the site explaining how to use the Epistemic Logic Features.

I've tried to design the features so as not to undermine the ease-of-use of the current system, and hope my changes would be compatible with the existing Modal Logic Playground. I will work over the next two weeks to implement these features in my fork of this repo, and then I will submit a pull request. I would be excited to work with you to merge the changes into this repo if you are interested in doing that.

I've taken a look at http://bl.ocks.org/rkirsling/5001347 and https://github.com/rkirsling/modallogic/blob/master/API-Reference.md and I think it should be reasonably possible, if not a bit tricky, to implement the features.

If you have the time to let me know your thoughts on my proposed features I would greatly appreciate it. Thanks.

When I'm visiting your page https://rkirsling.github.io/modallogic/ chrome blocks the loading of the scripts. The specific reason cited is as below

Your connection to the site is encrypted, but Google Chrome has detected mixed scripting on the page. Be careful if you're entering personal information on this page. Mixed scripting can provide a loophole for someone to take over the page. This could be content third-party scripts or videos embedded on the page. If you're connected to the Internet via a public wireless network, mixed scripting is risky especially because wireless networks are easier to tamper with than wired networks.

I'm not quite sure what that specifically means, but perhaps you know how to fix it.

The link that was in your website

http://www.aladdin.cs.cmu.edu/reu/mini_probes/papers/2005/talk_murphy05.swf

is not working anymore.
You should think about finding the equivalent somewhere or remove this website.

Hey!

Just wondering if your extracted DAG editing code is available as a GitHub project?

Cheers!

Jordan.

The following formula

((p&q)&((p&q)&(p&q)))

is not parsed successfully (it is reported as not well formed)

You should include the MIT License, otherwise people will have to re-rip it out from this version!

Great project!