The base isolation systems are among the passive control devices that have been used over the last three decades to limit the seismic-induced response of structures. In this regard, the Uniform Building Code provisions (UBC) has incorporated a special section for the seismic design of base isolated structures since its 1991 edition. Due to the importance of the behavior of these structures unde...

The base isolation systems are among the passive control devices that have been used over the last three decades to limit the seismic-induced response of structures. In this regard, the Uniform Building Code provisions (UBC) has incorporated a special section for the seismic design of base isolated structures since its 1991 edition. Due to the importance of the behavior of these structures unde...

Two propositions may be regarded as doxastically equivalent if revision of an agent’s beliefs to adopt either has the same effect on the agent’s belief state. We enrich the language of dynamic doxastic logic with formulas expressing this notion of equivalence, and provide it with a formal semantics. A finitary proof system is then defined and shown to be sound and complete for this semantics.

well-known seismic design codes have offered an alternative equivalent static procedure for practical purposes instead of verifying design trials with complicated step-y-step dynamic analyses. such a pattern of base-shear distribution over the building height will enforce its special stiffness and strength distribution which is not necessarily best suited for seismic design. the present study, ...