Publications: Part of a Book - Ganzinger,Hustadt,Meyer,Schmidt A Resolution-Based Decision Procedure for Extensions of {K}4

Title*:	A Resolution-Based Decision Procedure for Extensions of {K}4
Attachments	_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

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

Attachment Section

_01AIML.ps.gz

_01AIML.ps.gz