Pages that link to "Item:Q3914958"
From MaRDI portal
The following pages link to Post Completeness and Free Algebras (Q3914958):
Displayed 5 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Algebraic semantics for quasi-classical modal logics (Q5187260) (← links)