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

Simon Dominik Vonlanthen

Simon Dominik Vonlanthen authored the following 1 source, containing a total of 0 diagrams.

Vonlanthen, Simon Dominik, and Matteo Pascucci. 2024. “Modal Categorical Inferences in Quarc.” In FCR 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning, Co-Located with the 47th German Conference on Artificial Intelligence (KI 2023), edited by Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald, and Diedrich Wolter, 48–59. CEUR-WS. (0 diagrams)
 
↑ Back to top ↑