Pages that link to "Item:Q2105091"
From MaRDI portal
The following pages link to On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091):
Displaying 4 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Some incompletable modal predicate logics (Q2735848) (← links)
- On Kripke completeness of some modal predicate logics with the density axiom (Q5224587) (← links)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)