RAIN Extension Stream B

Research output

Research output per year 2022 2022 2022

• 1 Conference contribution/Paper
• 1 Journal article

Research output per year

Research output per year

Search results

• 2022

  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

  Open Access