We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order (or partial-order) with the modal accessibility relation generalise to the requirement that the relation and its inverse be lower semi-contin...

The material presented here is an exposition of an application of logical relations to the problem of full abstraction for PCF. The point is to see Kripke logical relations as introduced by Jung and Tiuryn in [5] and used by O'Hearn and Riecke in [6] to give a logical characterization of sequentiality, within the mainstream of the classical notion of logical relations. The main di erence with r...

We empirically studied the behavior of the 3-Valued Kripke-Kleene semantics in a parameterized distribution of random propositional logic programs. In our distribution, programs with m rules are generated from n propositional letters by repeating the following process m times: uniformly, randomly, and independently choose k letters (with replacement) from the set of n proposition letters and ne...