On the complexity of arithmetical interpretations of modal formulae
From MaRDI portal
Publication:688859
DOI10.1007/BF01375554zbMath0802.03011MaRDI QIDQ688859
Publication date: 12 December 1994
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01375554
modal logic; provability logic; complexity of formulas; arithmetical interpretations; bounded arithmetical complexity; provability interpretation
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F40: Gödel numberings and issues of incompleteness
Related Items
Cites Work