A Hennessy-Milner Property for Many-Valued Modal Logics. - Michel Marti; George Metcalfe (Advances in Modal Logic, 2014)

A canonical model construction for intuitionistic distributed knowledge. - Gerhard Jäger; Michel Marti (Advances in Modal Logic, 2016)

Modular Models for Intuitionistic Justification Logic. - Michel Marti; Thomas Studer (CoRR, 2016)

Intuitionistic Modal Logic made Explicit. - Michel Marti; Thomas Studer (FLAP, 2016)

Intuitionistic common knowledge or belief. - Gerhard Jäger; Michel Marti (J. Appl. Log., 2016)

The Internalized Disjunction Property for Intuitionistic Justification Logic. - Michel Marti; Thomas Studer (Advances in Modal Logic, 2018)

Expressivity in chain-based modal logics. - Michel Marti; George Metcalfe (Arch. Math. Log., 2018)

Relating Labelled and Label-Free Bunched Calculi in BI Logic. - Didier Galmiche; Michel Marti; Daniel Méry (TABLEAUX, 2019)