(* transforms list of gml formulas (diamond?,number,formula)
to list of consequences (formula,positive?),
here positive? means that the formula must be true in order to make the
given conjunct of modalities true *)
val gml_rules : (bool*int*int) list -> (int*bool) list list list
(* transforms list of pml formulas (diamond?,nominator,denominator,formula)
to list of consequences (formula,positive?),
here positive? means that the formula must be true in order to make the
given conjunct of modalities true *)
val pml_rules : (bool*int*int*int) list -> (int*bool) list list list