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

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]