Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. The classic example is Public Announcement Logic (PAL), an extension of epistemic logic based on the idea of information acquisition as elimination of possibilities. In this paper, we address the open question of whether the set of schematic validities of PAL, the set of formulas all of whose ...

Requirements for the dynamic properties of a mechanical structure are commonly expressed in terms of eigenfrequencies. Therefore, during the design phase of a mechanical structure much attention is paid to natural frequencies and mode shapes. However, these modal properties tend to vary strongly if small variations are applied on the design model. Therefore, the presence of open design decision...

Dynamic logic has created a paradigm shift in logic. In this work, we provide a survey of some major dynamic logics: propositional dynamic logic, game logic, dynamic epistemic logic and logic of questions. The unifying idea behind presenting these logics is to observe how the “dynamic” aspect of the logic is represented in each formalism.

Experimental modal analysis is a non-destructive measurement technique, which applies low forces and small deformations to assess the integrity of a structure. It is therefore a promising method to study the mechanical properties of the spine in vivo. Previously, modal parameters successfully revealed artificially induced spinal injuries. The question remains however, whether experimental modal...

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.

A procedure is presented for modal and damping synthesis of flexible space structures from subsystem tests and/or analyses. In view of the various damping mechanism operative in a space structure, their contribution to total system damping and its compatibility with dynamic testing procedures, the spacecraft subsystems are identified as joints and components. The dynamics of joint subsystems is...

This experiment consists of determining the modal properties of a model structure. Many buildings in the practical world can be reasonably approximated by shear structures in which only one translational degree of freedom is taken into account for each floor level. Due to the simple characteristics of a shear structure, it is possible to determine its modal properties, such as the natural frequ...

In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition, of settings with dynamic and/or epistemic character; namely Propositional Dynamic Logic (PDL), Dynamic Epistemic Logic (DEL), and the more recent log...