Pages that link to "Item:Q3984427"
From MaRDI portal
The following pages link to Incompleteness results in Kripke semantics (Q3984427):
Displayed 15 items.
- Presheaf semantics and independence results for some non-classical first- order logics (Q582278) (← links)
- First-order intensional logic (Q598308) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- First-order classical modal logic (Q863182) (← links)
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- Directed frames (Q1264137) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← 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)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- The Invariance Modality (Q5886459) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) (← links)