The purpose of this department is to provide early announcement of outstanding new results, with some indication of proof. Research announcements are limited to 100 typed lines of 65 spaces each. A limited number of research announcements may be communicated by each member of the Council who is also a member of a Society editorial committee. Manuscripts for research announcements should be sent...

Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a...

We initiate the study of online pricing problems in markets with “buyback,” i.e., markets in which prior allocation decisions can be revoked, but at a cost. In our model, a seller receives requests online and chooses which requests to accept, subject to constraints on the subsets of requests which may be accepted simultaneously. A request, once accepted, can be canceled at a cost which is a fix...

We propose a logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents. Additional to epistemic modalities, the logic therefore contains two types of dynamic modalities, for sending messages and for receiving messages. The semantics defines truth relative to the current state of reception of messages for all agents. This means that k...

It has been conjectured that a manifold which is a homotopy sphere is topologically a sphere. This conjecture has implications, for example, in the theory of differentiate structures on spheres (see, e.g., [3, p. 33]). Here I shall sketch a proof of the following theorem: Let M be a piecewise-linear manifold of dimension n^7, which has the same homotopy-type as the n-sphere S. Then there is a p...

effective March 1, 2012, Antony Porcino, Phd (cand.), assumed the position of executive editor of the International Journal of Therapeutic Massage & Bodywork. Antony’s affiliation with the IJTMB has included his membership on the Massage Therapy Foundation’s e-Journal Committee, his role as a contributing author to the journal, and his service as a member of the IJTMB’s Manuscript review Board....

Several of the continuing education (CE) options offered at the 2009 American Massage Therapy Association National Convention represented the Research Track sponsored by the Massage Therapy Foundation. Included among these CE options were these sessions (presenters indicated parenthetically): Learning Through Clinical Research (Douglas Nelson and James Ivaska); Research Rocks (Angela Palmier an...

We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the c...