Results for Modal logics

Publications & Outputs

1. Local is Best: Efficient Reductions to Modal Logic K

   Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

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