Quantified reflection calculus with one modality

MaRDI QIDQ5104696zbMATH OpenFDO

Authors Ana de Almeida Borges, Joost J. Joosten

Publication date 15 September 2022

Full work available at URL https://arxiv.org/abs/2003.13651

zbMATH Keywords

arithmetic interpretationsdecidable logicsfeasible fragmentsfinite model propertyprovability logicquantified modal logicstrictly positive logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• On the reflection calculus with partial conservativity operators
• Positive provability logic for uniform reflection principles
• scientific article; zbMATH DE number 4099258
• Reflection calculus and conservativity spectra
• scientific article; zbMATH DE number 2174393

Cited in

(3)

• AN ESCAPE FROM VARDANYAN’S THEOREM
• Quantified Reflection Calculus with one modality
• Strictly positive fragments of the provability logic of Heyting arithmetic

This page was built for publication: Quantified reflection calculus with one modality

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