Decidable and enumerable predicate logics of provability

DOI10.1007/BF00401550zbMath0714.03019MaRDI QIDQ750418

Giorgie Dzhaparidze

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessdecidabilityprovability logicpredicate modal logicenumerable fragments

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)

Related Items (2)

Predicate provability logic with non-modalized quantifiers ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

Cites Work

• Provability interpretations of modal logic
• The degree of the set of sentences of predicate provability logic that are true under every interpretation
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidable and enumerable predicate logics of provability