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 12 items.
- Presheaf semantics and independence results for some non-classical first- order logics (Q582278) (← links)
- First-order intensional logic (Q598308) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Semantical analysis of superrelevant predicate logics with quantification (Q1109761) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- Algebraic Kripke sheaf semantics for non-classical predicate logics (Q1970921) (← 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)
