M. Marti

Intuitionistic modal logic made explicit

T. Studer, M. Marti, 2016 .

Contributions to Intuitionistic Epistemic Logic

M. Marti, 2017 .

Expressivity in chain-based modal logics

George Metcalfe, Michel Marti, G. Metcalfe, 2018, Arch. Math. Log..

The Proof Theory of Common Knowledge

Thomas Studer, Michel Marti, T. Studer, 2018 .