Modal logic is a branch of logic that extends classical ... One significant area of recent research involves the transformation of axioms into synthetic inference rules using focused variants ...