Wild, Paul
- 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
- A van Benthem Theorem for Fuzzy Modal Logic
2018/02/01 by Wild, Paul, Schröder, Lutz, Pattinson, Dirk +1 · 2 citations
#03B45 #03B52 #03B70 #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)
- Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
2023/10/09 by Beohar, Harsh, Gurke, Sebastian, König, Barbara +4 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Quantitative Hennessy-Milner Theorems via Notions of Density
2022/07/19 by Forster, Jonas, Goncharov, Sergey, Hofmann, Dirk +3 · 2 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
- Relational Connectors and Heterogeneous Bisimulations
2024/10/18 by Nora, Pedro, Rot, Jurriaan, Schröder, Lutz +1 · 1 citation
#03B45 #03B70 #18A25 #68Q85 #F.3.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Conformance Games for Graded Semantics
2024/11/05 by Jonas Forster, Forster, Jonas, Lutz Schröder +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