scientific article; zbMATH DE number 1303440

zbMath0923.03025MaRDI QIDQ4250049

Duccio Pianigiani, Dick H. J. de Jongh

Publication date: 28 October 1999

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

zbMATH Keywords

modal logicKripke modelsinterpretability logicprovability logicwitness comparisonsessentially \(\Sigma_1\) formulaeGuaspari-Solovay system \(R\)

Mathematics Subject Classification ID

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

Related Items (3)

A course on bimodal provability logic ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ The logic of arithmetical hierarchy

This page was built for publication: