Pages that link to "Item:Q688796"
From MaRDI portal
The following pages link to Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796):
Displaying 7 items.
- First-order intensional logic (Q598308) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- (Q4896535) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
