Modal Logic

Probabilistic bisimilarity as testing equivalence
Larsen and Skou initiated the study of probabilistic bisimilarity and its characterisation in terms of tests. Later on, van Breugel et …
Yuxin Deng, Yuan Feng
引用 DOI URL
On standard models of fuzzy modal logics
We improve the valuations of modal sentences of Schotch [7] and build a more reasonable kind of standard models. So some important …
引用 DOI URL