Applied Logic Series - Advances in Temporal Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048153893, 9789401595865

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Release Logics for Temporalizing Dynamic Logic

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_2 ◽

2000 ◽

pp. 21-45 ◽

Cited By ~ 1

Author(s):

Jeroen Krabbendam ◽

John-Jules Meyer

Keyword(s):

Dynamic Logic

Download Full-text

Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_14 ◽

2000 ◽

pp. 279-297

Author(s):

Antony Galton

Keyword(s):

Continuous Time ◽

Spatial Relations ◽

Qualitative Changes

Download Full-text

Execution and Proof in a Horn-Clause Temporal Logic

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_21 ◽

2000 ◽

pp. 413-433 ◽

Cited By ~ 6

Author(s):

Clare Dixon ◽

Michael Fisher ◽

Mark Reynolds

Keyword(s):

Temporal Logic ◽

Horn Clause

Download Full-text

Determinism and the Origins of Temporal Logic

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_10 ◽

2000 ◽

pp. 185-206 ◽

Cited By ~ 6

Author(s):

Torben Braüner ◽

Per Hasle ◽

Peter Øhstrøm

Keyword(s):

Temporal Logic

Download Full-text

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_1 ◽

2000 ◽

pp. 1-20 ◽

Cited By ~ 2

Author(s):

Iliano Cervesato ◽

Massimo Franceschet ◽

Angelo Montanari

Download Full-text

Guiding Clausal Temporal Resolution

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_9 ◽

2000 ◽

pp. 167-184 ◽

Cited By ~ 1

Author(s):

Michael Fisher ◽

Clare Dixon

Keyword(s):

Temporal Resolution

Download Full-text

Using Otter for Temporal Resolution

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_8 ◽

2000 ◽

pp. 149-166 ◽

Cited By ~ 3

Author(s):

Clare Dixon

Keyword(s):

Temporal Resolution

Download Full-text

Decidable Theories of ω-Layered Metric Temporal Structures

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_5 ◽

2000 ◽

pp. 91-108

Author(s):

Angelo Montanari ◽

Adriano Peron ◽

Alberto Policriti

Keyword(s):

Temporal Structures ◽

Decidable Theories

Download Full-text

Temporal Logic for Stabilizing Systems

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_4 ◽

2000 ◽

pp. 71-90

Author(s):

Yassine Lakhnech ◽

Michael Siegel

Keyword(s):

Temporal Logic

Download Full-text

Compositional Verification of Timed Statecharts

Applied Logic Series - Advances in Temporal Logic ◽

10.1007/978-94-015-9586-5_3 ◽

2000 ◽

pp. 47-70

Author(s):

Francesca Levi

Keyword(s):

Compositional Verification

Download Full-text

Applied Logic Series - Advances in Temporal LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Release Logics for Temporalizing Dynamic Logic

Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations

Execution and Proof in a Horn-Clause Temporal Logic

Determinism and the Origins of Temporal Logic

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

Guiding Clausal Temporal Resolution

Using Otter for Temporal Resolution

Decidable Theories of ω-Layered Metric Temporal Structures

Temporal Logic for Stabilizing Systems

Compositional Verification of Timed Statecharts

Applied Logic Series - Advances in Temporal Logic
Latest Publications