Some incompletable modal predicate logics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1735876
- Incompleteness and the Barcan formula
- scientific article; zbMATH DE number 1749192
- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
Cited in
(28)- Normal predicative logics with graded modalities
- Some descending chains of incomplete modal logics
- 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
- Axiomatising the Prior future in predicate logic
- Predicate metric tense logic for `now' and `then'
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Frame correspondences in modal predicate logic
- Completeness and incompleteness for anodic modal logics
- An incomplete decidable modal logic
- scientific article; zbMATH DE number 3639591 (Why is no real title available?)
- scientific article; zbMATH DE number 1735876 (Why is no real title available?)
- Predicate Modal Logics Do Not Mix Very Well
- scientific article; zbMATH DE number 1975408 (Why is no real title available?)
- scientific article; zbMATH DE number 1989658 (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?)
- scientific article; zbMATH DE number 810109 (Why is no real title available?)
- scientific article; zbMATH DE number 1418444 (Why is no real title available?)
- Frame definability, canonicity and cut elimination in common sense modal predicate logics
- Recursive enumerability and elementary frame definability in predicate modal logic
- scientific article; zbMATH DE number 2236676 (Why is no real title available?)
- Modal frame incompleteness. An account through second order logic
- Axiomatization via translation: Hiż's warning for predicate logic
- Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness
- Kripke completeness of infinitary predicate multimodal logics
- Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains
This page was built for publication: Some incompletable modal predicate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2735848)
