English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Modal Frame Characterization by Way of Auxiliary Modalities

Nonnengart, A. (1998). Modal Frame Characterization by Way of Auxiliary Modalities. Logic Journal of the IGPL, 6(6), 875-899.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3858-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3859-0
Genre: Journal Article

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Nonnengart, Andreas1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: In modal logics we are interested in classes of frames that characterize the logic under consideration. Such classes are usually distinguished by their respective frame properties. In general these characterizations are not unique and it is desirable to find a strongest possible. In this article an approach is presented which helps in this respect. It allows us to transform a given background theory into one which is more general and which modal logics cannot distinguish from the former because of their syntactic and semantic restrictions. The underlying technique is based on the idea to find conservative extensions of a given logic whose frame properties allow us to extract significantly stronger characterizations of the original logic.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121998
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 519689
Other: Local-ID: C1256104005ECAFC-AAA45E30203F9DCDC1256743004C9FEC-Nonnengart1998
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logic Journal of the IGPL
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 6 (6) Sequence Number: - Start / End Page: 875 - 899 Identifier: ISSN: 1368-9894