Pages that link to "Item:Q1207339"
From MaRDI portal
The following pages link to Quantified extensions of canonical propositional intermediate logics (Q1207339):
Displaying 8 items.
- First-order intensional logic (Q598308) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics (Q2772901) (← links)
- An extension of intermediate predicate logics to higher order (Q3979923) (← links)
- The Invariance Modality (Q5886459) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)