We present a class of normal modal calculi $\text{P}_{F}D$, whose syntax is endowed with operators $M_{r}$ (and their dual ones, $L_{r}$), one for each r ∈ [0,1 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback