Michel Marti

According to our database, Michel Marti authored at least 8 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Relating Labelled and Label-Free Bunched Calculi in BI Logic.

Didier Galmiche, Michel Marti, Daniel Méry

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Expressivity in chain-based modal logics.

Michel Marti, George Metcalfe

Arch. Math. Log., 2018

The Internalized Disjunction Property for Intuitionistic Justification Logic.

Michel Marti, Thomas Studer

Proceedings of the Advances in Modal Logic 12, 2018

2016

Intuitionistic common knowledge or belief.

Gerhard Jäger, Michel Marti

J. Appl. Log., 2016

Intuitionistic Modal Logic made Explicit.

Michel Marti, Thomas Studer

FLAP, 2016

Modular Models for Intuitionistic Justification Logic.

Michel Marti, Thomas Studer

CoRR, 2016

A canonical model construction for intuitionistic distributed knowledge.

Gerhard Jäger, Michel Marti

Proceedings of the Advances in Modal Logic 11, 2016

2014

A Hennessy-Milner Property for Many-Valued Modal Logics.

Michel Marti, George Metcalfe

Proceedings of the Advances in Modal Logic 10, 2014