Reasoning in circles

zbMath1418.03178arXiv2112.15028MaRDI QIDQ5224693

Rosalie Iemhoff

Publication date: 24 July 2019

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

Mathematics Subject Classification ID

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

Related Items (3)

NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC ⋮ Interpolation properties for Sacchetti's logics

This page was built for publication: Reasoning in circles