Semanti s of Input - Consuming Logi

Epistemi Logi : A Survey

Epistemi logi is the logi of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine ard? Is it harmful if, at a literature-exam you don't know the ontents of a hapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your neighbor knows that he regularly plays his ...

The Semanti s of Modal Predi ate Logi II

Semantics of the reFLe t Language

reFLe t is a new fun tional language, developed at Intel for use in hardware design and veri ation. It ontains features intended to fa ilitate the onstru tion, analysis, and manipulation of the language's own programs. It is also intended to be the exe utable subset of the term language of a theorem prover based on higher order logi . In this paper, we onsider ore reFLe t|a language that extend...

Isoinitial Semanti s for Logi Programs

Computational Adequa y of the FIX-Logi

Roy L. Crole Department of Computing, Imperial College, LONDON, England. July 13, 1995 Abstra t This paper presents omputational adequa y results for the FIX logi al system introdu ed by Crole and Pitts in LICS '90. More pre isely, we take two simple PCF style languages (whose dynami semanti s follow a all-byvalue and all-by-name regime) give translations of the languages into suitable judgemen...