Undecidable properties of extensions of provability logic. II

DOI10.1007/BF02215288zbMATH Open0729.03009OpenAlexW2054049955MaRDI QIDQ805607FDOQ805607

Authors: Alexander Vasil'evich Chagrov 

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1007/bf02215288

Recommendations

• Undecidable properties of extensions of the logic of provability
• The undecidability of the disjunction property of propositional logics and other related problems
• Insolubility of Gödel-Löb logic with quantifiers of propositional variables
• scientific article; zbMATH DE number 850397
• scientific article; zbMATH DE number 3963790

zbMATH Keywords

Minski maschine[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=modal+logics+which+extend+the+G%EF%BF%BD%EF%BF%BDdel-L%EF%BF%BD%EF%BF%BDb+system+GL&go=Go modal logics which extend the G��del-L��b system GL]

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Gödel numberings and issues of incompleteness (03F40) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Undecidable properties of extensions of the logic of provability
• On systems of modal logic with provability interpretations
• Title not available (Why is that?)
• Varieties of logical matrices
• Post Completeness and Free Algebras
• Title not available (Why is that?)

Cited In (20)

• Title not available (Why is that?)
• The undecidability of the disjunction property of propositional logics and other related problems
• Undecidability of a second-order provability logic with operation of comparison of witnesses
• The disjunction property of intermediate propositional logics
• Remarks on natural minimal logics: A. Visser's basic and formal logics and their modal counterparts
• Undecidable properties of extensions of the logic of provability
• Proof analysis in modal logic
• Undecidability of the Logic of Partial Quasiary Predicates
• Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
• Undecidable iterative propositional calculus
• Insolubility of Gödel-Löb logic with quantifiers of propositional variables
• Undecidability results on two-variable logics
• Processes, Terms and Cycles: Steps on the Road to Infinity
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Modal companions of intermediate propositional logics
• Title not available (Why is that?)
• Restricted interpolation over modal logic S4
• Maximality in modal logic
• Recognizable logics
• Strong computability of slices over the logic GL

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

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