Open main menu

Changes

Trata-se de um avaliador de fórmulas e de relações de acessibilidade para a Lógica Modal Proposicional. Foi desenvolvido através da biblioteca JavaScript D3<ref group="modal" name="d3"/>, MathJax<ref group="modal" name="mj"/> e o Twitter Bootstrap<ref group="modal" name="tb"/>. A ferramenta possui código livre disponível em [https://github.com/rkirsling/modallogic]. [http://rkirsling.github.io/modallogic/]
Avaliação:[Muito bom]
Última atualização: 2013
<references group="modal">
<ref name="d3">
Uma biblioteca JavaScript para manipulação de documentos a partir de seus dados. Disponível em [http://d3js.org/].
</ref>
</references>
 
== Tarski's World, Fitch & Boole ==