Pages that link to "Item:Q1826435"

The following pages link to Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435):

Displaying 4 items.

• On the logic of belief and propositional quantification (Q2240550) (← links)
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• (Q5101338) (← links)
• Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)