On non-local propositional and weak monodic quantified CTL

File(s)

Bauer_etal.pdf (229.5 KB)

Accepted version

Show more

Author(s)

Bauer, S

Hodkinson, I

Wolter, F

Zakharyaschev, M

Type

Journal Article

Version

Accepted version

Date Issued

2004-02-01

Citation

J LOGIC COMPUT Vol.( 14 ) No.( 1 ) pp 3 - 22

URI

http://hdl.handle.net/10044/1/552

URL

http://dx.doi.org/10.1093/logcom/14.1.3

ISSN

0955-792X

Start Page

3

End Page

22

Copyright Statement

© 2004 Oxford University Press. This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The definitive publisher-authenticated version Journal of Logic and Computation 14(1):3-22 is available online at:http://dx.doi.org/10.1093/logcom/14.1.3.

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Source Volume Number

14