Provability logic—a short introduction

DOI10.1111/j.1755-2567.1996.tb00529.xzbMath0897.03055OpenAlexW2132041470MaRDI QIDQ4378052

No author found.

Publication date: 19 October 1998

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1996.tb00529.x

zbMATH Keywords

modal logicKripke modelsinterpretability logicprovability logicbimodal logicsfixed-point theorem for GL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Gödel numberings and issues of incompleteness (03F40)

Related Items (8)

Effectively constructible fixed points in Sacchetti's modal logics of provability ⋮ The Henkin Sentence ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Transductions in arithmetic ⋮ Note on some fixed point constructions in provability logic ⋮ Interpolation properties for Sacchetti's logics ⋮ Circular proofs for the Gödel-Löb provability logic ⋮ The arithmetics of a theory

This page was built for publication: Provability logic—a short introduction