Nature

Transfinite Set Theory and Provability Logic

Transfinite set theory encompasses the rigorous study of infinite hierarchies, particularly those structured by ordinals and cardinals. This field has been instrumental in deepening our comprehension ...
JSTOR Daily

THE Σ₁-PROVABILITY LOGIC OF HA

For the Heyting Arithmetic HA, HA∗ is defined [14, 15] as the theory {A | HA ⊢ A }, where A is called the box translation of A (Definition 2.4). We characterize the Σ₁-provability logic of HA∗ as a ...
JSTOR Daily

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 1 (February 2013), pp. 31-44 (14 pages) Provability logic is a modal logic for studying properties of provability predicates, ...
lse

Advanced Logic

This course is available on the MSc in Philosophy of Economics and the Social Sciences and MSc in Philosophy of Science. This course is available as an outside option to students on other programmes ...