On the foundations of logic and probability, I. Modal sentential calculi

Abstract

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.