Quantified Reflection Calculus with one modality

arXiv2003.13651MaRDI QIDQ6337696

Ana de Almeida Borges, Joost J. Joosten

Publication date: 30 March 2020

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Quantified Reflection Calculus with one modality