A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

From MaRDI portal
Publication:2319895

DOI10.1215/00294527-2019-0001OpenAlexW2593187777WikidataQ127901274 ScholiaQ127901274MaRDI QIDQ2319895

Wesley H. Holliday

Publication date: 20 August 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1557388819




Related Items (3)


Uses Software


Cites Work


This page was built for publication: A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers