You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Michael Mendler

Michael Mendler authored the following 1 source, containing a total of 0 diagrams.

Mendler, Michael, Stephan Scheele, and Luke Burke. 2021. “The Došen Square Under Construction: A Tale of Four Modalities.” In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), edited by Anupam Das and Sara Negri, 446–465. Cham: Springer. (0 diagrams)
 
↑ Back to top ↑