P. Wild

1. Kantorovich Functors and Characteristic Logics for Behavioural Distances
   2022/02/14 by S. A. Goncharov, Goncharov, Sergey, Dirk Hofmann +7 · 3 citations
   Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
2. Conformance Games for Graded Semantics
   2024/11/05 by Jonas Forster, Lutz Schröder, Forster, Jonas +3 · 1 citation
   Computer Science · #68Q85 (Primary) #Advanced Algebra and Logic #F.3.1 #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies