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

Basin, David A.
Matthews, Seán
Viganò, Luca

dblp
dblp
dblp



Editor(s):

Baader, Franz
Schulz, Klaus U.

dblp
dblp



BibTeX cite key*:

Basin96c

Title, Booktitle

Title*:

A Topography of Labelled Modal Logics

Booktitle*:

Frontiers of Combining Systems (First International Workshop, Munich, March 1996)

Chapter:


Series:

Applied Logic Series

Language:

English

Publisher

Name*:

Kluwer

URL:


Address*:

Dordrecht, The Netherlands

Publication Type:


Vol, No, pp., Year

Volume:

3

Number:


Edition:


Pages*:

75-92

Month:


VG Wort Pages:


ISBN:


Year*:

1996

Abstract, Links, ©

Note:


LaTeX Abstract:

Labelled Deductive Systems provide a general method for representing logics
in a modular and transparent way. A Labelled Deductive System consists of
two parts, a base logic and a labelling algebra, which interact through a
fixed interface. The labelling algebra can be viewed as an independent
parameter: the base logic stays fixed for a given class of related logics
from which we can generate the one we want by plugging in the appropriate
algebra. Our work identifies an important property of the structured
presentation of logics, their combination, and extension. Namely, there
is tension between modularity and extensibility: a narrow interface between
the base logic and labelling algebra can limit the degree to which we can
make use of extensions to the labelling algebra. We illustrate this in the
case of modal logics and apply simple results from proof theory to give
examples.

URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:


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{Basin96c,
AUTHOR = {Basin, David A. and Matthews, Se{\'a}n and Vigan{\`o}, Luca},
EDITOR = {Baader, Franz and Schulz, Klaus U.},
TITLE = {A Topography of Labelled Modal Logics},
BOOKTITLE = {Frontiers of Combining Systems (First International Workshop, Munich, March 1996)},
PUBLISHER = {Kluwer},
YEAR = {1996},
VOLUME = {3},
PAGES = {75--92},
SERIES = {Applied Logic Series},
ADDRESS = {Dordrecht, The Netherlands},
}


Entry last modified by Anja Becker, 11/29/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
11/27/1996 04:24:47 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Anja Becker
Christine Kiesel
Luca Viganò
Seán Matthews
Seán Matthews
Edit Dates
29.11.2010 14:16:57
30.08.2001 10:17:03
25/04/97 16:31:06
22/04/97 14:52:17
17.03.97 20:02:07