scientific article; zbMATH DE number 4197983

MaRDI QIDQ5203005zbMATH OpenFDO

Authors Sergei Artemov

Publication date 1988

zbMATH Keywords

binumerationsformal provabilitymodal logicmodalityprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Predicate provability logic with non-modalized quantifiers
• scientific article; zbMATH DE number 3976994
• Decidable and enumerable predicate logics of provability
• The predicate modal logic of provability
• scientific article; zbMATH DE number 3963790

Cited in

(17)

• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• The logic of arithmetical hierarchy
• Undecidability of a second-order provability logic with operation of comparison of witnesses
• On interactive proof-search for constructive modal necessity
• Recursively Enumerable Images of Arithmetic Sets
• Arithmetical interpretations of dynamic logic
• On modal systems having arithmetical interpretations
• scientific article; zbMATH DE number 3963790 (Why is no real title available?)
• scientific article; zbMATH DE number 58101 (Why is no real title available?)
• scientific article; zbMATH DE number 1341927 (Why is no real title available?)
• scientific article; zbMATH DE number 1097010 (Why is no real title available?)
• scientific article; zbMATH DE number 4118337 (Why is no real title available?)
• scientific article; zbMATH DE number 937368 (Why is no real title available?)
• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• On the complexity of arithmetical interpretations of modal formulae
• The modal logic of pure provability
• Decidable and enumerable predicate logics of provability

This page was built for publication:

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