scientific article

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<15::AID-MALQ15>3.0.CO;2-C" /><15::AID-MALQ15>3.0.CO;2-C 10.1002/1521-3870(200201)48:1<15::AID-MALQ15>3.0.CO;2-CzbMath0988.03037MaRDI QIDQ2776807

Lorenzo Sacchetti

Publication date: 5 May 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stabilitymodal logicfixed pointprovability predicateGödel-Löb logicBoolos logicmodal incompleteness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Self-reference and modal logic
• Magari's theorem via the recession frame
• The fixed point property in modal logic

This page was built for publication: