We deened an extension of Kowalski and Sergot's Event Calculus (EC) 2] to deal with incomplete information about event ordering. Given a set of events, EC allows to derive maximal time intervals (MVIs) over which the properties they initiate or terminate hold. When only partial knowledge on event ordering is given, EC is neither able to derive all admissible MVIs nor to distinguish which of the...

The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying properties involving both data and transitions. In this paper we present a restricted prototype implementation of a model checker for LOTOS for queries written using the FULL logic. The model checker is developed with...

in practice, foundations are settled on the soft layers of soil, so the ground must be designed as well as the structure. wave propagation and hysteresis damping of soil layers may alter the seismic response of flexible-base design in comparison to controversial fixed-base. lots of uncertainties about this issue, necessitate most of seismic design standards including iranian standard no. 2800 t...

In the context of the study of modality in interaction with time, the phenomenon whereby a modalized proposition entails its non-modal counterpart has been known as an ‘actuality entailment’ since Bhatt (1999). The question that actuality entailments raise is how modal statements can be distinguished from their non-modal counterparts and how modal contributes meaning. The main idea that the pap...

‎The Mod $2$ Steenrod algebra is a Hopf algebra that consists of the primary cohomology operations‎, ‎denoted by $Sq^n$‎, ‎between the cohomology groups with $mathbb{Z}_2$ coefficients of any topological space‎. ‎Regarding to its vector space structure over $mathbb{Z}_2$‎, ‎it has many base systems and some of the base systems can also be restricted to its sub algebras‎. ‎On the contrary‎, ‎in ...