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):

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