rkirsling / modallogic Goto Github PK
View Code? Open in Web Editor NEWModal Logic Playground
Home Page: http://rkirsling.github.io/modallogic/
License: MIT License
Modal Logic Playground
Home Page: http://rkirsling.github.io/modallogic/
License: MIT License
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:
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.
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.
Figure 3: Buttons for switching between existing Modal Logic and proposed Epistemic Logic functionality
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.
The following formula
((p&q)&((p&q)&(p&q)))
is not parsed successfully (it is reported as not well formed)
Hey!
Just wondering if your extracted DAG editing code is available as a GitHub project?
Cheers!
Jordan.
You should include the MIT License, otherwise people will have to re-rip it out from this version!
Great project!
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.