Lutz Schröder

A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic

2019

The fuzzy modality probably is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under probabilistic bisimilarity; more informatively, it is non-expansive wrt. a suitable notion …