Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








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

URL of the conference:


URL for downloading the paper:


Event Address*:

Freiburg, Germany

Language:

English

Event Date*
(no longer used):

September

Organization:


Event Start Date:

22 September 2019

Event End Date:

22 September 2019

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