Experimental logics and \(\Delta^0_2\)-theories
scientific article; zbMATH DE number 3499723