MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Basin, David A.
Matthews, Seán
Viganò, Luca		dblp
dblp
dblp
Editor(s):
Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard		dblp
dblp
dblp
BibTeX cite key*:
BasinMatthewsVigano97c
Title, Booktitle
Title*:
Labelled quantified modal logics
Booktitle*:
Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Freiburg, Germany
Language:
English
Event Date*
(no longer used):
September
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
1303
Number:
Month:
Pages:
171-182
Year*:
1997
VG Wort Pages:
ISBN/ISSN:
3-540-63493-2
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
We present an approach to providing natural deduction style
proof systems for a large class of quantified modal logics with
varying, increasing, decreasing or constant domains of quantification.
The systems we develop are modular both in the behavior of the
accessibility relation and quantification relative to the semantics,
and in the proofs of soundness and completeness relative to that
semantics. Our systems also provide the basis of simple
implementations of quantified modal logics in a standard logical
framework theorem prover.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{BasinMatthewsVigano97c,
AUTHOR = {Basin, David A. and Matthews, Se{\'a}n and Vigan{\`o}, Luca},
 EDITOR = {Brewka, Gerhard and Habel, Christopher and Nebel, Bernhard},
 TITLE = {Labelled quantified modal logics},
 BOOKTITLE = {Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence},
 PUBLISHER = {Springer},
 YEAR = {1997},
 VOLUME = {1303},
 PAGES = {171--182},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Freiburg, Germany},
 ISBN = {3-540-63493-2},
}

Entry last modified by Uwe Brahm, 03/12/2010
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)
Luca Viganò		Created
09/25/1997 02:48:35 PM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm		Edit Dates
04/02/98 07:22:04 PM
04/02/98 07:16:39 PM
03/09/98 11:29:40 PM
02/26/98 03:57:53 PM
21/01/98 13:05:08