The following pages link to Some kinds of modal completeness (Q1151886):
Displayed 9 items.
- Topology and duality in modal logic (Q1101436) (← links)
- The logical study of science (Q1164615) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- Bounded lattice expansions (Q5936163) (← links)