Publication:5224576
From MaRDI portal
zbMath1418.03087MaRDI QIDQ5224576
Wesley H. Holliday, Tadeusz Litak
Publication date: 24 July 2019
propositional quantifiers; Boolean algebras with operators; Boolean algebra expansions; global quantificational modalities; modal consequence
03B45: Modal logic (including the logic of norms)