a study
Modal logic problems collected at University Potsdam.
The main (public) parts of the Specware library.
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