Publications: Journal Article: Resolution in modal, description and hybrid logic

Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

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

Action:

Options:

Goto entry point

Author, Editor(s)

Author(s):

Areces, Carlos
de Rijke, Maarten
de Nivelle, Hans

dblp
dblp
dblp

Not MPG Author(s):

Areces, Carlos
de Rijke, Maarten

BibTeX cite key*:

ArecesRijkeNivelle02

Title

Title*:

Resolution in modal, description and hybrid logic

Journal

Journal Title*:	Journal of Logic and Computation	Journal's URL:	http://www3.oup.co.uk/logcom/
Download URL for the article:		Language:	English

Publisher

Publisher's Name:	Oxford University Press	Publisher's URL:
Publisher's Address:	Oxford, UK	ISSN:	0955-792X

Vol, No, pp, Date

Volume*:	11	Number:	5
Publishing Date:	October 2001
Pages*:	717-736	Number of VG Pages:
Page Start:		Page End:
Sequence Number:		DOI:

Note, Abstract, ©

Note:
(LaTeX) Abstract:
URL for the Abstract:
Categories, Keywords:
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	Expert
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@ARTICLE{ArecesRijkeNivelle02,
AUTHOR = {Areces, Carlos and de Rijke, Maarten and de Nivelle, Hans},
TITLE = {Resolution in modal, description and hybrid logic},
JOURNAL = {Journal of Logic and Computation},
PUBLISHER = {Oxford University Press},
YEAR = {2001},
NUMBER = {5},
VOLUME = {11},
PAGES = {717--736},
ADDRESS = {Oxford, UK},
MONTH = {October},
ISBN = {0955-792X},
}

Entry last modified by Christine Kiesel, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Anja Becker	Created 05/08/2003 04:22:06 PM
Revisions 5. 4. 3. 2. 1.	Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel	Edit Dates 01.09.2003 16:44:11 01.09.2003 15:00:14 12.08.2003 14:46:01 23.07.2003 15:03:08 08.05.2003 16:22:17

Attachment Section