The following pages link to (Q5293993):
Displayed 4 items.
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- McKinsey-Tarski algebras: an alternative pointfree approach to topology (Q6057676) (← links)