BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
A Modal Logic of Durative Actions

Participants in the publication
Nunes I (Author)
Dep. Informática
BioISI
Fiadeiro J (Author)
Turski W (Author)

Editor(s)
H.Barringer et al

Date of Publication
2000

Where published
Advances in Temporal Logic

Publication Identifiers

Publisher
Kluwer Academic Publishers

Starting page
299
Last page
317

Document Identifiers
URL - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.2465&rep=rep1&type=pdf
DOI - https://doi.org/10.1007/978-94-015-9586-5_15


Export

APA
Nunes I, Fiadeiro J, Turski W, (2000). A Modal Logic of Durative Actions. Advances in Temporal Logic, 299-317. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.2465&rep=rep1&type=pdf

IEEE
Nunes I, Fiadeiro J, Turski W, "A Modal Logic of Durative Actions" in Advances in Temporal Logic, pp. 299-317, 2000. 10.1007/978-94-015-9586-5_15

BIBTEX
@article{40669, author = {Nunes I and Fiadeiro J and Turski W}, title = {A Modal Logic of Durative Actions}, journal = {Advances in Temporal Logic}, year = 2000, pages = {299-317}, }