Article history: Received 18 August 2011 Received in revised form 1 March 2012 Accepted 22 April 2012 Available online 2 May 2012

In this paper, we examine the spatiotemporal dynamics of wireless links and evaluate their effect on routing. We ran several experiments using a testbed consisting of 57 MicaZ motes, and collected data on link behavior over one entire day. We use this data to observe the overall network connectivity over time and space. We are able to examine in detail the choice of neighbors and routes using s...

It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for “remembering” the values of variables. We formulate a mildly dynamic v...

Public announcements are used in dynamic epistemic logic to model certain kinds of information change. A formula 〈ψ〉φ represents the statement that after ψ is publicly announced φ will be the case. Sometimes we want to reason about whether it is possible for φ to become true after some announcement. In order to do this an arbitrary public announcement operator ♦ can be added to an epistemic log...

In situations where the behavior of a system must be interpreted because its state is not accessible, it is useful to explain observed behavior in mentalistic terms. This paper presents a formalism based on propositional dynamic logic to model ascription of beliefs, goals, or plans on grounds of observed actions. The formalism is used to provide semantics for an existing approach to abducing th...

The dynamic turn in Epistemic Logic is based on the idea that notions of information should be studied together with the actions that modify them. Dynamic epistemic logics have explored how knowledge and beliefs change as consequence of, among others, acts of observation and upgrade. Nevertheless, the omniscient nature of the represented agents has kept finer actions outside the picture, the mo...

Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the definition of complex modalities. We provide a common generalisation: a logic that is ‘dynamic’ in both senses, and one that is not limited to S5 as its modal base. It also in...

AGM-style revision operators are defined for several systems of classical modal logic. · · · draft of November 28, 2009 · · · Within AGM, consistency maintenance is done by classical logic. But the reliance on classical consistency presents a problem for exporting AGM revision to non-classical logics in general, and to modal logic in particular. A general technique for solving this problem is t...

Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas 〈α〉φ as fuzzy predicates about the reliabi...