Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor(s)
Author(s):
de Nivelle, Hans
Demri, Stéphane		dblp
dblp
Not MPG Author(s):
Demri, Stéphane

BibTeX cite key*:

deNivelleDemri2005

Title

Title*:

Deciding Regular Grammar Logics with Converse through First-Order Logic

Journal

Journal Title*:

Journal of Logic, Language and Information
Journal's URL:

http://folli.loria.fr/jolli.php

Download URL
for the article:

http://dx.doi.org/10.1007/s10849-005-5788-9
Language:

English

Publisher

Publisher's
Name:

Springer
Publisher's URL:

http://www.springeronline.com

Publisher's
Address:

Dordrecht, The Netherlands
ISSN:

0925-8531

Vol, No, pp, Date

Volume*:

14
Number:

3

Publishing Date:

June 2005

Pages*:

289-329
Number of
VG Pages:

41

Page Start:

289
Page End:

329

Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

We provide a simple translation of the satisfiability problem
for regular grammar logics with converse into GF2, the
intersection of the guarded fragment and the 2-variable
fragment of first-order logic.
The translation is theoretically interesting, because it
translates modal logics with certain frame conditions into
first-order logic, without explicitly expressing these
frame conditions. It is practically relevant, because it
makes it possible to use a decision procedure for the
guarded fragment in order to decide regular grammar
logics with converse.
The class of regular grammar logics includes numerous
logics from various application domains.
In our view, the results in this paper show that the
natural first-order fragment corresponding to regular
grammar logics is simply GF2, without extra machinery,
as for example fixed point operators.

URL for the Abstract:


Categories,
Keywords:

modal and temporal logics, relational translation, guarded fragment, 2-variable fragment

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort


BibTeX Entry:
@ARTICLE{deNivelleDemri2005,
AUTHOR = {de Nivelle, Hans and Demri, St{\'e}phane},
 TITLE = {Deciding Regular Grammar Logics with Converse through First-Order Logic},
 JOURNAL = {Journal of Logic, Language and Information},
 PUBLISHER = {Springer},
 YEAR = {2005},
 NUMBER = {3},
 VOLUME = {14},
 PAGES = {289--329},
 ADDRESS = {Dordrecht, The Netherlands},
 MONTH = {June},
 ISBN = {0925-8531},
}

Entry last modified by Christine Kiesel, 01/28/2008
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)
Hans de Nivelle		Created
04/20/2005 04:41:43 PM
Revisions
4.
3.
2.
1.
0.		Editor(s)
Christine Kiesel
Hans de Nivelle
Hans de Nivelle
Christine Kiesel
Christine Kiesel		Edit Dates
21.12.2005 10:27:33
08/17/2005 11:24:07 AM
08/17/2005 11:18:42 AM
27.04.2005 11:37:56
04/20/2005 04:41:43 PM