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