This paper presents and defends a way to add a transparent truth predicate to classical logic, such that T 〈A〉 and A are everywhere intersubstitutable, where all T -biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for StrictTolerant Transparent Truth), is that it supports a nontransitive relation of consequence. At the same time, it ca...

We investigate how like-minded agents can reach consensus on their decisions even if they receive different information. The model used here was introduced by Aumann, and subsequently refined by Geanakoplos and Polemarchakis, Bacharach, Cave, Parikh and Krasucki ([Aum76,GP82,Cav83,Bac85,PK]). The main result is that when any number of like-minded agents communicate according to some fair protoc...

This paper takes as its context organisations operating in an emerging knowledge economy. It is concerned with how to research ways in which such organisations can develop the capability to regularly generate and apply new knowledge to continuous improvement and radical innovation in work processes, products and services and to customer relationships. In the paper, this capability is termed 'kn...

Advances in genomics research have called forth new strategies for patenting DNA sequences. Gene patenting, which began inconspicuously in the early days of the biotechnology industry in the 1970s and 1980s, did not generate significant public controversy until the advent of high-throughput DNA sequencing in the 1990s. By this point, it was such a well-established practice that categorical chal...

, 1209 (1989); 245 Science et al. AP Georgopoulos, locomotion Visuomotor coordination in reaching and www.sciencemag.org (this information is current as of December 26, 2006 ): The following resources related to this article are available online at http://www.sciencemag.org version of this article at: including high-resolution figures, can be found in the online Updated information and services...

Pisani & AbouZahr write passionately about the need to change the culture of data sharing in public health research.1 They explain why this is in everybody’s best interests and outline ways in which the main obstacles can be overcome. This is laudable and much appreciated; it is time for a change, the current situation is unacceptably inefficient in terms of scientific progress and value for mo...

We study two problems related to planar motion planning for robots with imperfect control, where, if the robot starts a linear movement in a certain commanded direction, we only know that its actual movement will be connned in a cone of angle centered around the speciied direction. First, we consider a single goal region, namely the \region at innnity", and a set of polygonal obstacles, modeled...

There is a need in specific domains to develop strong interaction between agents using emerging technologies to facilitate communication and collaborative use of information. A successful implementation of these technologies enables interoperability based on real time and transparent information transfers to make decisions or to work on concurrent basis. New approaches using standards, which al...

Welcome to the first edition of HEX for 2016. We have included some excellent papers, reporting on a range of clinical topics and research methodologies. The review article by Phillipson and colleagues on current practices to increase Chlamydia screening in the community evaluated the included interventions against social marketing national benchmark criteria. Despite the quality of evidence be...