Undecidable properties of extensions of the logic of provability

DOI10.1007/BF01979939MaRDI QIDQ757339zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 1990

Published in Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

decidabilitymodal logicsdisjunction propertyinterpolation propertyfinite model propertyextensions of provability logicMinski machines

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Undecidable properties of extensions of provability logic. II
• Undecidability of propositional separation logic and its neighbours
• The undecidability of the disjunction property of propositional logics and other related problems
• scientific article; zbMATH DE number 850397
• Undecidable problems for propositional calculi with implication
• Undecidability of the Logic of Partial Quasiary Predicates
• Undecidability and intuitionistic incompleteness
• Nonaxiomatizability of predicate logics of proofs
• Recursive unsolvability of a problem of expressibility in the logic of provability
• The undecidability of the logic of subintervals

Cites work

• scientific article; zbMATH DE number 3963790 (Why is no real title available?)
• scientific article; zbMATH DE number 4047685 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• A finitely axiomatizable undecidable extension of K
• Post Completeness and Free Algebras
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Varieties of logical matrices

Cited in

(22)

• Undecidability results on two-variable logics
• scientific article; zbMATH DE number 1859179 (Why is no real title available?)
• Weak interpolation in extensions of the logics S4 and K4
• Strongly decidable properties of modal and intuitionistic calculi
• Undecidable hypotheses in Edward Nelson's internal set theory
• Undefinability in inquisitive logic with tensor
• The undecidability of the disjunction property of propositional logics and other related problems
• PROVING UNPROVABILITY
• Untestable Properties Expressible with Four First-Order Quantifiers
• Recursive unsolvability of a problem of expressibility in the logic of provability
• Undecidability of existential properties in picture languages
• Interpolation properties in the extensions of the logic of inequality
• Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
• Decidability of some interpolation properties for weakly transitive modal logics
• Undecidable properties of extensions of provability logic. II
• Undecidable iterative propositional calculus
• A Universally Defined Undecidable Unimodal Logic
• Computer Science Logic
• Definability and interpolation in non-classical logics
• Undecidability of the Logic of Partial Quasiary Predicates
• Decidability of the interpolation problem and of related properties in tabular logics
• scientific article; zbMATH DE number 6602207 (Why is no real title available?)

This page was built for publication: Undecidable properties of extensions of the logic of provability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757339)