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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback