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
Hustadt, Ullrich
Schmidt, Renate A.		dblp
dblp
dblp

BibTeX cite key*:

deNivelle2000c

Title

Title*:

Resolution-Based Methods for Modal Logics

Journal

Journal Title*:

Logic Journal of the IGPL
Journal's URL:

http://www3.oup.co.uk/igpl/

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Oxford University Press
Publisher's URL:

http://www4.oup.co.uk/

Publisher's
Address:

Oxford, UK
ISSN:

1367-0751

Vol, No, pp, Date

Volume*:

8
Number:

3

Publishing Date:

May 2000

Pages*:

265-292
Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:

%My name is misspelt as 'Nivellle'

(LaTeX) Abstract:

We give an overview of resolution based methods for propositional
multimodal logics, and description logics. The strategies
that we give are decision procedures. That means that they
are guaranteed to terminate in all cases.

URL for the Abstract:


Categories,
Keywords:

Modal Logic, automated theorem proving

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, VG Wort


BibTeX Entry:
@ARTICLE{deNivelle2000c,
AUTHOR = {de Nivelle, Hans and Hustadt, Ullrich and Schmidt, Renate A.},
 TITLE = {Resolution-Based Methods for Modal Logics},
 JOURNAL = {Logic Journal of the IGPL},
 PUBLISHER = {Oxford University Press},
 YEAR = {2000},
 NUMBER = {3},
 VOLUME = {8},
 PAGES = {265--292},
 ADDRESS = {Oxford, UK},
 MONTH = {May},
 ISBN = {1367-0751},
 NOTE = {%My name is misspelt as 'Nivellle'},
}

Entry last modified by Christine Kiesel, 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)
Hans de Nivelle		Created
02/28/2001 04:40:40 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Christine Kiesel
Manfred Jaeger
Christine Kiesel
Uwe Brahm
Uwe Brahm		Edit Dates
03.09.2001 16:56:19
31/08/2001 11:31:28
27.08.2001 01:46:34 PM
05/01/2001 01:35:47 PM
04/10/2001 06:45:37 PM