Select a Modal Logic: K KD Coalition Logic Graded Modal Logic Probabilistic Modal Logic Hennesy-Milner Modal Logic Monotonic Modal Logic Conditional Logic or

Give an input formula:

Select degree of optimisation (concerns only conditional logic as of now):
  Unoptimized
  Optimized (using dynamic programming)
  Optimized (using dynamic programming + restriction to connected pairs)

Tasks which take more than 120 seconds are killed.

Notes on the input format can be found here and some simple tests we used can be found here.