Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

de Nivelle, Hans
Demri, Stéphane

dblp
dblp

Not MPG Author(s):

Demri, Stéphane

Editor(s):

Areces, Carlos
Blackburn, Patrick

dblp
dblp

Not MPII Editor(s):

Areces, Carlos
Blackburn, Patrick

BibTeX cite key*:

deNivelleDemri2003c

Title, Booktitle

Title*:

Deciding Modal Logics through Relational Translations into GF2

Booktitle*:

Proceedings of the 3rd Methods for Modalities Workshop

Event, URLs

URL of the conference:


URL for downloading the paper:

ttp://staff.science.uva.nl/~m4m/M4M3/workshop.html

Event Address*:

Nancy, France

Language:

English

Event Date*
(no longer used):

September

Organization:


Event Start Date:

22 September 2003

Event End Date:

23 September 2003

Publisher

Name*:

Loria

URL:


Address*:

Nancy, France

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

15-30

Year*:

2003

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We provide a simple translation from 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 the frame
conditions. Using the same method, one can show that other
modal logics can be naturally translated into {GF2},
including nominal tense logics and intuitionistic propositional
logic. In our view, the results in this paper provide strong
evidence that the natural first-order fragment corresponding
to modal logics, is {GF2}.



Download
Access Level:

Public

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:

@INPROCEEDINGS{deNivelleDemri2003c,
AUTHOR = {de Nivelle, Hans and Demri, St{\'e}phane},
EDITOR = {Areces, Carlos and Blackburn, Patrick},
TITLE = {Deciding Modal Logics through Relational Translations into {GF2}},
BOOKTITLE = {Proceedings of the 3rd Methods for Modalities Workshop},
PUBLISHER = {Loria},
YEAR = {2003},
PAGES = {15--30},
ADDRESS = {Nancy, France},
}


Entry last modified by Anja Becker, 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
01/26/2004 04:37:34 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Anja Becker
Christine Kiesel
Christine Kiesel
Hans de Nivelle
Hans de Nivelle
Edit Dates
21.06.2004 16:27:40
17.06.2004 17:53:28
17.06.2004 15:38:15
01/29/2004 10:57:26 AM
01/26/2004 04:49:10 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section