Pages that link to "Item:Q2735848"
From MaRDI portal
The following pages link to Some incompletable modal predicate logics (Q2735848):
Displaying 14 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Normal predicative logics with graded modalities (Q1106194) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster (Q1582312) (← links)
- A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- An incomplete decidable modal logic (Q3718681) (← links)
- (Q4198476) (← links)
- Predicate Modal Logics Do Not Mix Very Well (Q4379626) (← links)
- Recursive enumerability and elementary frame definability in predicate modal logic (Q5112647) (← links)