scientific article; zbMATH DE number 1735876
From MaRDI portal
Publication:4329237
Recommendations
- Some incompletable modal predicate logics
- Incompleteness and the Barcan formula
- Kripke completeness of infinitary predicate multimodal logics
- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
- scientific article; zbMATH DE number 2024613
Cited in
(19)- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
- A completeness theorem for continuous predicate modal logic
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
- Intuitionism and the modal logic of vagueness
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Some incompletable modal predicate logics
- The completeness of Carnap's predicate logic
- scientific article; zbMATH DE number 4135913 (Why is no real title available?)
- The completeness of a predicate-functor logic
- scientific article; zbMATH DE number 4087631 (Why is no real title available?)
- scientific article; zbMATH DE number 1735885 (Why is no real title available?)
- Predicate Modal Logics Do Not Mix Very Well
- scientific article; zbMATH DE number 1989658 (Why is no real title available?)
- scientific article; zbMATH DE number 1556961 (Why is no real title available?)
- scientific article; zbMATH DE number 1749192 (Why is no real title available?)
- scientific article; zbMATH DE number 2109537 (Why is no real title available?)
- On Kripke completeness of some modal predicate logics with the density axiom
- Extensions of Makinson's Completeness Theorems in Modal Logic
- A generic solution to the sorites paradox. Based on an extension of the modal logic S4.1
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329237)
