Advances in modal logic (Book, 1998) [WorldCat.org]
skip to content
Advances in modal logic Preview this item
ClosePreview this item
Checking...

Advances in modal logic

Author: Marcus Kracht
Publisher: Stanford, Calif. : CSLI Publications, ©1998-<©2010>
Series: CSLI lecture notes, no. 87, 119.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

A presentation of advances in the relational model theory and the algorithmic treatment of modal logics. It contains papers from the third conference on "Advances in Modal Logic", and covers dynamic  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Marcus Kracht
ISBN: 1575861038 9781575861036 157586102X 9781575861029 9812381791 9789812381798 0954300629 1904987222 1904987206 9781904987680 9781848900134 1575862727 9781575862729 1575862719 9781575862712 9780954300623 9781904987222 9781904987208 1904987680 1848900139
OCLC Number: 37864074
Notes: Vol. 1 contains a selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996; v. 2 contains a selection of papers presented at the second AiML conference held at Uppsala University, Oct. 1998; v. 3 contains a selection of papers presented at the third AiML conference held at University of Leipzig, Oct. 2000.
Vol. 3 has publisher: New Jersey : World Scientific.
Credits: v. 6 editors: Guido Governatori, Ian Hodkinson, Yde Venema.
Description: volumes <1-8> : illustrations ; 23 cm.
Contents: Vol. 1 contains a selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996 --
v. 3. Contains a selection of papers presented at the third AiML workshop held at the University of Leipzig, Oct. 2000 --
v. 6. Contains papers from the sixth AiML conference in the series, held in Noosa, Queensland, Australia in Sept. 2006 --
v. 7. Contains invited and contributed papers from the seventh conference in the AiML series, held in Nancy, France, in September 2008 V.8. This volume contains invited and contributed papers from the eighth conference in the AiML series, held in Moscow, Russian, in August 2010 --
v. 9. Contains invited and contributed papers from the ninth conference in the AiML series, held Aug. 22-25, 2012.
Series Title: CSLI lecture notes, no. 87, 119.
Responsibility: edited by Marcus Kracht [and others].
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.