Propositional quantification in bimodal S5

From MaRDI portal
Publication:2055931