Akka flies the Web

HOME | Demo's | Background Info | System Description | Java Applet | Tclets

About Akka

Akka is a package of programs for doing logic by computer.

With Akka one can do things like:

• Testing the provability of formulas in several systems of logic;

• Testing the validity of formulas in a model;

• Drawing and editing Kripke models and models for dynamic logic;

• Computing diagrams of fragments of logic.

More details can be found in the System Description

Akka Demo's

For an impression of the interface of the Akka tool, visit the Akka Java page.

For an impression of the services offered by Akka, visit the Akka Tclet page.

The Akka Tclet page contains Tcl/tk tclets for several of the Akka Services. Tclets are TcL/Tk-programs in a subset of the TcL/Tk-language that can be handled by the TcL/Tk plugin and run in your web browser. However, you will need the plugin, which can be downloaded from the TcL-site.

But before you click:

This page contains some information you might need to know.

For example: where does the name Akka stand for? Look HERE

Marc Pauly build a version of Akka for Dynamic Propositional Logic.