A course on bimodal provability logic

Provability interpretations of modal logic

Robert M Solovay · Israel Journal of Mathematics · 1976 · 457 citations

Humanities, Computer Science, Philosophy +13

Modal analysis of generalized rosser sentences

Vítězslav Švejdar · Journal of Symbolic Logic · 1983 · 40 citations

Natural Sciences, Mathematics, Logic +16

Provability in finite subtheories of PA and relative interpretability: a modal investigation

Franco Montagna · Journal of Symbolic Logic · 1987 · 22 citations

Humanities, Mathematics, Formal Methods +10

The relation of <i>A</i> to Prov ˹<i>A</i>˺ in the Lindenbaum sentence algebra

Clement F. Kent · Journal of Symbolic Logic · 1973 · 19 citations

Humanities, Computer Science, Mathematics +12