Molestar Prover de plataforma transversal de código abierto y abierto para la lógica modal
Descargar ahora

Molestar Clasificación y resumen

Molestar Etiquetas

fórmula probar la fórmula probar la lógica Prover de fórmula probar preso

Molestar Descripción

Prover de plataforma cruzada de código abierto y abierto para la lógica modal Molle explota el método modal semántico de Tableaux. Molle cuenta con una interfaz gráfica muy utilizable, con la representación interactiva de los modelos generados. Nota: Molle tiene licencia y se distribuye bajo los términos de la licencia free académica (AFL). Requisitos: · Java ¿Qué hay de nuevo en este lanzamiento: · Probar fórmulas de lógica modal proposicional. · Prueba con propiedades de marco explícito: {reflexividad} (más por venir ...) · Visualizar los pasos de Tableaux y de resolución. · Visualizar modelos para ejemplos y contraexamplos.

Molestar Software relacionado