Local Realizability Toposes and a Modal Logic For Electronic Notes in Theoretical Computer Science No URL http wwwelsevier nll ocate entcs volume htm l pagesLo cal RealizabilityTop oses and a Mo dal Logic for Computability