The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustratio...

Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness (the property Γ |= φ ⇒ Γ ` φ) requires an infinitary proof system. In this paper, we present a short proof for strong completeness of PDL relative an infinitary proof system containing the rule from [α;βn]φ for all n ∈ N, conclude [α;β∗]φ. The proof uses a universal canonical model, and it is ge...

Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called epistemic action models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily intr...

Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness (the property j= ' ) ` ') does not hold for the standard nitary axiomatisation. In this paper, we present an in nitary proof system of PDL and prove strong completeness. The result is extended to epistemic logic with common knowledge.

Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or bel...

We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted syste...

-The performance of dynamic property of the mount is influenced by multiple factors and strongly depends on the working conditions. This means that the modal parameters of powertrain mounting system would make changes under different operating conditions. A novel approach to simulate the actual working condition is proposed in the testing of dynamic stiffness. Then the mechanical model of power...

In this paper, newly defined level operators and modal-like operators over extensional generalized intuitionistic fuzzy sets (GIFSB) are proposed. Some of the basic properties of the new operators are discussed.

For the prediction of the global properties in materials, dynamic tests have shown important advantages over static tests. Despite the superiority of dynamic tests, a high level of precision is required on the measured modal information. The quality of the experimental measurements and modeling, the actual test conditions are very important for further use of the data. The purpose of this resea...

The modal analysis procedure for calculating the dynamic response of classically damped linear structural systems is reformulated with the objective of developing the physical significance of the elements of the solution and defining modal contribution factors. The resulting concepts are used to develop an approach for predicting how the relative contributions of various modes to the response a...