ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
KURAHASHI, TAISHIVolume:
6
Language:
english
Journal:
The Review of Symbolic Logic
DOI:
10.1017/s1755020312000275
Date:
March, 2013
File:
PDF, 163 KB
english, 2013