On the foundations of logic and probability, I. Modal sentential calculi
A class of models which does not require an additional operator on the language of classical sentential calculi to capture some notion of necessity, possibility, and impossibility is introduced and investigated.
math.LO↗