Report copyright - LOGICAL STEP-INDEXED LOGICAL RELATIONSHence, LSLR is in fact not only a second-order logic (like PAL) but a modal one, and the truth value of a proposition is the set of worlds (think:
Please pass captcha verification before submit form