scientific article; zbMATH DE number 4118337

MaRDI QIDQ4732443zbMATH OpenFDO

Authors Alessandro Berarducci

Publication date 1989

zbMATH Keywords

arithmeticarithmetical interpretation of predicate formulaemodal logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4197983
• On the complexity of arithmetical interpretations of modal formulae
• scientific article; zbMATH DE number 4099259
• Provability logics relative to a fixed extension of Peano arithmetic
• scientific article; zbMATH DE number 4079379

Cited in

(7)

• The logic of arithmetical hierarchy
• A smart child of Peano's
• On inclusions between quantified provability logics
• From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
• AN ESCAPE FROM VARDANYAN’S THEOREM
• On the complexity of arithmetical interpretations of modal formulae
• Strictly positive fragments of the provability logic of Heyting arithmetic

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 Q4732443)