Sobre la lógica de probabilidad de HA
Por Camilo Arcaya • 20 jun, 2022 • Sección: AmbienteMojtaba Mojtahedi
We axiomatize the provability logic of HA and show that it is decidable. Moreover we axiomatize the preservativity and relative admissibility for several modal logics extending iK4. As a main tool, we also provide some sort of semantics, called provability semantics, for modal logics extending iGL, which is a mixture of usual Kripke semantics and provability in propositional modal logics.
arXiv:2206.00445v1 [math.LO]
Logic (math.LO)
