Icontem

Kripke Models: Test propositional logic with Kripke models

Recommend this page to a friend!
     
  Info   View files View files (4)   DownloadInstall with Composer Download .zip   Reputation   Support forum   Blog    
Last Updated Ratings Unique User Downloads Download Rankings
2013-05-23 (3 years ago) RSS 2.0 feedNot enough user ratingsTotal: 88 All time: 401 This week: 59Up
Version License JavaScript version Categories
kripke-models 1.0GNU General Publi...1.0Math
Description Author

This object can test propositional logic with Kripke models.

It loads a XML file with the definition of a model and tests a formula for a given world defined in the model.

Innovation Award
JavaScript Programming Innovation award nominee
May 2013
Number 2		 Kripke models are useful to evaluate relational logic conditions.

This object can test propositional logic conditions in JavaScript.

Manuel Lemos
Picture of Daniel Martinez
  Performance   Level  
Name: Daniel Martinez <contact>
Classes: 6 packages by
Country: Spain Spain

Level 1 Star

 Innovation award
Innovation award
Nominee: 1x

  Files folder image Files  
File Role Description
Files folder imageJs (2 files)
Files folder imageModels (1 file)
Accessible without login Plain text file example.html Example example of using

  Files folder image Files  /  Js  
File Role Description
  Plain text file jquery.js Class auxiliar class source
  Plain text file KripkeModels.js Class Class source

  Files folder image Files  /  Models  
File Role Description
  Accessible without login Plain text file model.xml Data auxiliar xml data

Downloadkripke-models-2013-05-23.zip 35KB
Downloadkripke-models-2013-05-23.tar.gz 35KB
Install with ComposerInstall with Composer
 Version Control Unique User Downloads Download Rankings  
 0%
Total:88
This week:0
All time:401
This week:59Up

  Applications that use this package  
No pages of applications that use this class were specified.

Add link image If you know an application of this package, send a message to the author to add a link here.