collaborators

1 paper

math.LO2023

The Modal Logic of Provability and Forcing

Taishi Kurahashi, Rihito Takase

Solovay's arithmetical completeness theorem states that the modal logic of provability coincides with the modal logic . Hamkins and Löwe studied the modal logical aspe…