Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  A Topography of Labelled Modal Logics

Basin, D. A., Matthews, S., & Viganò, L. (1996). A Topography of Labelled Modal Logics. In F. Baader, & K. U. Schulz (Eds.), Frontiers of Combining Systems (First International Workshop, Munich, March 1996) (pp. 75-92). Dordrecht, The Netherlands: Kluwer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABC7-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABC8-9
Genre: Buchkapitel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Basin, David A.1, Autor           
Matthews, Seán1, Autor           
Viganò, Luca1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-11-291996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519582
Anderer: Local-ID: C1256104005ECAFC-A81C0F3D52ECA313C12563EF0054AAB3-Basin96c
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Frontiers of Combining Systems (First International Workshop, Munich, March 1996)
Genre der Quelle: Buch
 Urheber:
Baader, Franz1, Herausgeber           
Schulz, Klaus U., Herausgeber
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 75 - 92 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: Applied Logic Series
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 3 Artikelnummer: - Start- / Endseite: - Identifikator: -