Structure of the files:

GMPAS.hs: Abstract Syntax

GMPParser.hs: Parser

GMPSAT.hs: Satisfiability Algorithm

Lexer.hs: Lexer for the different Parsers

ModalLogic.hs: Modal Logic class & defaults

Main.hs: Main

The implementation of the logic dependant methods can be found in:

GenericML: Generic Modal Logic

ModalK: K Modal Logic

ModalKD: KD Modal Logic

GradedML: Graded Modal Logic

CoalitionL: Coalition Logic

MajorityL: Majority Logic

Two Helper Parsers:

LWBParser: Parser for LWB formulas

ToRacerParser: Parser to make Racer formulas