Research outputs

• Local Reductions for the Modal Cube

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

• Local is Best: Efficient Reductions to Modal Logic K

  Research output: Contribution to Journal/Magazine › Journal article › peer-review