scientific article; zbMATH DE number 1303440

MaRDI QIDQ4250049zbMATH OpenFDO

Authors Duccio Pianigiani, Dick H. J. de Jongh

Publication date 28 October 1999

zbMATH Keywords

essentially \(\Sigma_1\) formulaeGuaspari-Solovay system \(R\)interpretability logicKripke modelsmodal logicprovability logicwitness comparisons

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Recommendations

• A short note on essentially \(\Sigma_1\) sentences
• A new principle in the interpretability logic of all reasonable arithmetical theories
• scientific article; zbMATH DE number 3963790
• The logic of \(\Pi_ 1\)-conservativity continued
• scientific article; zbMATH DE number 1215477
• Modal analysis of generalized rosser sentences
• scientific article; zbMATH DE number 4079379
• Rosser Orderings in Bimodal Logics
• Interpretability over peano arithmetic
• Solovay's completeness without fixed points

Cited in

(6)

• The logic of arithmetical hierarchy
• A course on bimodal provability logic
• A short note on essentially \(\Sigma_1\) sentences
• Much Shorter Proofs
• scientific article; zbMATH DE number 1941471 (Why is no real title available?)
• Solution of David Gale's lion and man problem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250049)