View of Interpolation and implicit definability in extensions of the provability logic

Return to Article Details Interpolation and implicit definability in extensions of the provability logic Download Download PDF