Preservation and interpolation results are obtained for L1! and sublog-ics L L1! such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.
This paper investigates the relationships between three different views of common knowledge: the iterate approach, the fixed point approach, and the shared environment approach. We show that no two of these approaches are equivalent, contrary to accepted wisdom. We argue that the fixed point is the best conceptual analysis of the pretheoretic notion, but… (More)
This paper is an investigation into the logic of information ow. The basic perspective is that logic ows in virtue of constraints (as in 7]), and that constraints classify channels connecting particulars (as in 8]). In this paper we explore some logics intended to model reasoning in the case of idealized information ow, that is, where the constraints… (More)