Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997 (Q1961607)

The articles of this volume will be reviewed individually. The preceding conference (1, 1994) has been reviewed (see Zbl 0875.03007). Indexed articles: \textit{Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo}, A hierarchy of modal event calculi: Expressiveness and complexity, 1-20 [Zbl 0945.03017] \textit{Krabbendam, Jeroen; Meyer, John-Jules}, Release logics for temporalizing dynamic logic. Orthogonalizing modal logics, 21-45 [Zbl 0974.03504] \textit{Levi, Francesca}, Compositional verification of timed statecharts, 47-70 [Zbl 0945.03042] \textit{Lakhnech, Yassine; Siegel, Michael}, Temporal logic for stabilizing systems, 71-90 [Zbl 0945.03021] \textit{Montanari, Angelo; Peron, Adriano; Policriti, Alberto}, Decidable theories of \(\omega\)-layered metric temporal structures, 91-108 [Zbl 0945.03022] \textit{Kupferman, Orna; Vardi, Moshe Y.}, Synthesis with incomplete information, 109-127 [Zbl 0953.68090] \textit{Bjørner, Nikolaj S.; Lerner, Uri; Manna, Zohar}, Deductive verification of parametrized fault-tolerant systems: A case study, 129-148 [Zbl 0956.68083] \textit{Dixon, Clare}, Using Otter for temporal resolution, 149-166 [Zbl 0945.03018] \textit{Fisher, Michael; Dixon, Clare}, Guiding clausal temporal resolution, 167-184 [Zbl 0949.03009] \textit{Braüner, Torben; Hasle, Per; Øhstrøm, Peter}, Determinism and the origins of temporal logic, 185-206 [Zbl 0945.03016] \textit{Leith, Miguel; Cunningham, Jim}, Modelling linguistic events, 207-222 [Zbl 0945.03037] \textit{Naumann, Ralf}, A dynamic temporal logic for aspectual phenomena in natural language, 223-253 [Zbl 0945.03038] \textit{Pratt, Ian; Francez, Nissim}, A decidable temporal logic for temporal prepositions, 255-278 [Zbl 0945.03039] \textit{Galton, Antony}, Transitions in continuous time, with an application to qualitative changes in spatial relations, 279-297 [Zbl 0953.68129] \textit{Nunes, Isabel; Fiadeiro, Jose Luiz; Turski, Wladyslaw M.}, A modal logic of durative actions, 299-317 [Zbl 0945.03043] \textit{Ohlbach, Hans Jürgen}, About real time, calendar systems and temporal notions, 319-338 [Zbl 0945.03023] \textit{Gnesi, Stefania; Ristori, Gioia}, A model checking algorithm for \(\pi\)-calculus agents, 339-357 [Zbl 0953.68091] \textit{Luo, Tiegeng; Chen, Huowang; Wang, Bingshan; Wang, Ji; Qi, Zhichang; Gong, Zhenghu}, Interleaving model and verification of distributed probabilistic real-time systems, 359-375 [Zbl 0953.68092] \textit{Thompson, Simon}, Constructive interval temporal logic in Alf, 377-392 [Zbl 0945.03024] \textit{Finger, Marcelo; Reynolds, Mark}, Two-dimensional executable temporal logic for bitemporal databases, 393-411 [Zbl 0945.03020] \textit{Dixon, Clare; Fisher, Michael; Reynolds, Mark}, Execution and proof in a Horn-clause temporal logic, 413-433 [Zbl 0945.03019] \textit{Bowman, Howard; Cameron, Helen; King, Peter; Thompson, Simon}, Specification and prototyping of structured multimedia documents using interval temporal logic, 435-453 [Zbl 0953.68537]