Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A.

dblp
dblp
dblp
dblp



Editor(s):

Zakharyaschev, Michael
Segerberg, Krister
de Rijke, Maarten
Wansing, Heinrich

dblp
dblp
dblp
dblp

Not MPII Editor(s):

Zakharyaschev, Michael
Segerberg, Krister
de Rijke, Maarten
Wansing, Heinrich

BibTeX cite key*:

Ganzinger-et-al-00-AIML

Title, Booktitle

Title*:

A Resolution-Based Decision Procedure for Extensions of {K}4


_01AIML.ps.gz (104.92 KB)

Booktitle*:

Advances in Modal Logic, Volume 2

Chapter:

9

Series:

CSLI Lecture Notes

Language:

English

Publisher

Name*:

CSLI

URL:

http://www-csli.stanford.edu/

Address*:

Stanford, USA

Publication Type:


Vol, No, pp., Year

Volume:

119

Number:


Edition:


Pages*:

225-246

Month:


VG Wort Pages:


ISBN:

1-57586-272-7

Year*:

2001

Abstract, Links, ©

Note:


LaTeX Abstract:

This paper presents a resolution decision procedure for transitive
propositional modal logics.
The procedure combines the
relational translation method with an
ordered chaining
calculus designed to avoid unnecessary
inferences with transitive relations.
We show the logics K4, KD4 and S4
can be transformed into a bounded class of well-structured clauses
closed under ordered resolution and negative chaining.

URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:

http://www.mpi-sb.mpg.de/~hg/pca.html#Ganzinger-et-al-00-AIML

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
BibTeX Entry:
@INBOOK{Ganzinger-et-al-00-AIML,
AUTHOR = {Ganzinger, Harald and Hustadt, Ullrich and Meyer, Christoph and Schmidt, Renate A.},
EDITOR = {Zakharyaschev, Michael and Segerberg, Krister and de Rijke, Maarten and Wansing, Heinrich},
TITLE = {A Resolution-Based Decision Procedure for Extensions of {K}4},
BOOKTITLE = {Advances in Modal Logic, Volume 2},
PUBLISHER = {CSLI},
YEAR = {2001},
VOLUME = {119},
CHAPTER = {9},
PAGES = {225--246},
SERIES = {CSLI Lecture Notes},
ADDRESS = {Stanford, USA},
ISBN = {1-57586-272-7},
}


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)
Ullrich Hustadt
Created
04/21/1999 07:31:32 PM
Revisions
19.
18.
17.
16.
15.
Editor(s)
Christine Kiesel
Harald Ganzinger
Harald Ganzinger
Uwe Brahm
Uwe Brahm
Edit Dates
28.07.2003 17:21:21
16.05.2003 10:41:56
16.05.2003 10:11:44
05/22/2002 04:43:56 PM
03/27/2002 10:12:03 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
_01AIML.ps.gz