Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving.

Martin Strecker

Browse the full AISC paper archive.