Didier Galmiche (galmiche-d)

Contributions to Philosophie.ch

Bibliography

Balbiani, Philippe and Galmiche, Didier. 2016. “About Intuitionistic Public Announcement Logic.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 97–116. London: King’s College Publications.
Galmiche, Didier, ed. 1997. Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 1997. Berlin: Springer.