English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABC7-B Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABC8-9
Genre: Book Chapter

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Basin, David A.1, Author           
Matthews, Seán1, Author           
Viganò, Luca1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2010-11-291996
 Publication Status: Issued
 Pages: -
 Publishing info: Dordrecht, The Netherlands : Kluwer
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519582
Other: Local-ID: C1256104005ECAFC-A81C0F3D52ECA313C12563EF0054AAB3-Basin96c
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Frontiers of Combining Systems (First International Workshop, Munich, March 1996)
Source Genre: Book
 Creator(s):
Baader, Franz1, Editor           
Schulz, Klaus U., Editor
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Publ. Info: Dordrecht, The Netherlands : Kluwer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 75 - 92 Identifier: -

Source 2

show
hide
Title: Applied Logic Series
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 3 Sequence Number: - Start / End Page: - Identifier: -