A stipulation of a modal propositional calculus in terms of modalized truth-values

From MaRDI portal
Publication:2626285