Molle KOSTENLOSER UND OFFENER SOURCE CROUNTER-PROTUMPLATTSPRECHUNG FÜR MODAL-Logik
Jetzt downloaden

Molle Ranking & Zusammenfassung

Molle Stichworte

Formel Beweisen Sie Formel. Logik beweisen Formel-Besprecher beweisen Proover

Molle Beschreibung

KOSTENLOSER UND OFFENER SOURCE CROSS-PLATTPLATTSPRECHUNG FÜR MODAL-Logik MOLLE nutzt das modale semantische Tableaux-Verfahren aus. MOLLE verfügt über eine sehr nutzbare grafische Schnittstelle mit interaktiver Darstellung der erzeugten Modelle.Nache: Molle ist lizenziert und verteilt unter den Bedingungen der akademischen freien Lizenz (AFL). Anforderungen: · Java Was ist neu in dieser Version: · Beweisen Sie Formeln der Sollmodallogik · Beweis mit expliziten Rahmeneigenschaften: {Reflexivität} (Mehr zu kommen ...) · Visualisieren Sie die Proof-Tableaux und -auflösungsschritte · Visualisieren Sie Modelle für Beispiele und Gegenexampeln

Molle Zugehörige Software