Montague Type Semantics for Modal Logics with Propositional Quantifiers

DOI10.1002/malq.19710170128zbMath0226.02015OpenAlexW2005451612MaRDI QIDQ5632542

Dov M. Gabbay

Publication date: 1971

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19710170128

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (4)

Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ On the logic of belief and propositional quantification ⋮ Propositional quantification in bimodal S5 ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

This page was built for publication: Montague Type Semantics for Modal Logics with Propositional Quantifiers