Pages that link to "Item:Q1165230"
From MaRDI portal
The following pages link to Hallden-completeness by gluing of Kripke frames (Q1165230):
Displaying 6 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- The logic of non-contingency (Q1903586) (← links)
- Two variants of noncontingency operator (Q2075274) (← links)
- Halldén completeness for relevant modal logics (Q2354625) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
