Undecidable properties of extensions of the logic of provability

DOI10.1007/BF01979939zbMATH Open0723.03005MaRDI QIDQ757339FDOQ757339

Authors: Alexander Vasil'evich Chagrov 

Publication date: 1990

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

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

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)

Cites Work

• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Varieties of logical matrices
• Title not available (Why is that?)
• Post Completeness and Free Algebras
• A finitely axiomatizable undecidable extension of K

Cited In (22)

• Recursive unsolvability of a problem of expressibility in the logic of provability
• Title not available (Why is that?)
• The undecidability of the disjunction property of propositional logics and other related problems
• A Universally Defined Undecidable Unimodal Logic
• Undecidable hypotheses in Edward Nelson's internal set theory
• PROVING UNPROVABILITY
• Weak interpolation in extensions of the logics S4 and K4
• Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
• Undecidability of the Logic of Partial Quasiary Predicates
• 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
• Undecidable iterative propositional calculus
• Undecidability of existential properties in picture languages
• Undecidability results on two-variable logics
• Undecidable properties of extensions of provability logic. II
• Definability and interpolation in non-classical logics
• Strongly decidable properties of modal and intuitionistic calculi
• Untestable Properties Expressible with Four First-Order Quantifiers
• Undefinability in inquisitive logic with tensor
• Computer Science Logic
• Decidability of the interpolation problem and of related properties in tabular logics
• Title not available (Why is that?)

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)