Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Blackburn, Patrick
Tzakova, Miroslava

dblp
dblp



BibTeX cite key*:

Tzakova99a

Title

Title*:

Hybrid Languages and Temporal Logic

Journal

Journal Title*:

Logic Journal of the IGPL

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Oxford University Press

Publisher's URL:


Publisher's
Address:


ISSN:

1368-9894

Vol, No, pp, Date

Volume*:

7

Number:

1

Publishing Date:

January 1999

Pages*:

27-54

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:

Revised Version of MPI-I-98-2-006.

(LaTeX) Abstract:

Hybridization is a method invented by Arthur Prior for extending the
expressive power of modal languages. Although developed in
interesting ways by Robert Bull, and by the Sofia school (notably,
George Gargov, Valentin Goranko, Solomon Passy and Tinko Tinchev), the
method remains little known. In our view this has deprived temporal
logic of a valuable tool.

The aim of the paper is to explain why hybridization is useful in
temporal logic. We make two major points, the first technical, the
second conceptual. First, we show that hybridization gives rise to
well-behaved logics that exhibit an interesting synergy between modal
and classical ideas. This synergy, obvious for hybrid languages with
full first-order expressive strength, is demonstrated for a weaker
local language capable of defining the {\it Until\/} operator; we
provide a minimal axiomatization, and show that in a wide range of
temporally interesting cases extended completeness results can be
obtained automatically. Second, we argue that the idea of sorted
atomic symbols which underpins the hybrid enterprise can be developed
further. To illustrate this, we discuss the advantages and
disadvantages of a simple hybrid language which can quantify over
paths.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat


BibTeX Entry:

@ARTICLE{Tzakova99a,
AUTHOR = {Blackburn, Patrick and Tzakova, Miroslava},
TITLE = {Hybrid Languages and Temporal Logic},
JOURNAL = {Logic Journal of the IGPL},
PUBLISHER = {Oxford University Press},
YEAR = {1999},
NUMBER = {1},
VOLUME = {7},
PAGES = {27--54},
MONTH = {January},
ISBN = {1368-9894},
NOTE = {Revised Version of MPI-I-98-2-006.},
}


Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Miroslava Tzakova
Created
10/06/1998 03:38:13 PM
Revisions
3.
2.
1.
0.
Editor(s)
Uwe Brahm
Miroslava Tzakova
Miroslava Tzakova
Miroslava Tzakova
Edit Dates
30.03.99 22:31:22
10/02/99 17:54:45
10/02/99 17:54:06
06/10/98 15:38:13