Explore projects

Modal logic problems collected at University Potsdam.

OMDoc export of the theories included in the Isabelle distribution

An SMGloM Archive for Logic

The meta stuff for MDH data

The public repository for the JLogic law formalization course

The language meta-level of SMGloM

Popov v. Hayashi as a Context Graph