Publications

Export 7 results:

Filters: Author is Michel Marti [Clear All Filters]

2018

Marti, M., Studer, T.: The Proof Theory of Common Knowledge. In: van Ditmarsch, H. and Sandu, G. Jaakko Hintikka on knowledge and game theoretical semantics. Springer (2018).

2017

Marti, M.: Contributions to Intuitionistic Epistemic Logic. (2017).

Marti, M., Metcalfe, G.: Expressivity in Chain-Based Modal Logics. Archive for Mathematical Logic. 57, 361-380 (2017).

2016

Jäger, G., Marti, M.: A canonical model construction for intuitionistic distributed knowledge. In: Beklemishev, L., Demri, S., and Máté, A. Advances in Modal Logic 2016. College Publications (2016).

Jäger, G., Marti, M.: Intuitionistic common knowledge or belief. Journal of Applied Logic. 18, (2016).

Marti, M., Studer, T.: Intuitionistic modal logic made explicit. IfCoLog Journal of Logics and their Applications. 3, 877-901 (2016).

2014

Marti, M., Metcalfe, G.: A Hennessy-Milner Property for Many-Valued Modal Logics. In: Goré, R., Kooi, B., and Kurucz, A. Advances in Modal Logic. pp. 407-420. College Publications (2014).