Modal Frame Characterization by Way of Auxiliary Modalities

Nonnengart, Andreas

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 公開

表示: 全項目非表示: 全項目

基本情報

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-3858-1 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-3859-0

資料種別: 学術論文

ファイル

表示: ファイル

作成者

表示:

非表示:

作成者:
Nonnengart, Andreas¹, 著者

所属:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

内容説明

表示:

非表示:

キーワード: -

要旨: 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.

資料詳細

表示:

非表示:

言語: eng - English

日付: 修正: 2010-03-12出版: 1998

出版の状態: 出版

ページ: -

出版情報: -

目次: -

査読: 査読あり

識別子（DOI, ISBNなど）: eDoc: 519689
その他: Local-ID: C1256104005ECAFC-AAA45E30203F9DCDC1256743004C9FEC-Nonnengart1998

学位: -

訴訟

表示:

Project information

表示:

出版物 1

表示:

非表示:

出版物名: Logic Journal of the IGPL

種別: 学術雑誌

著者・編者:

所属:

出版社, 出版地: -

ページ: - 巻号: 6 (6) 通巻号: - 開始・終了ページ: 875 - 899 識別子（ISBN, ISSN, DOIなど）: ISSN: 1368-9894

アイテム詳細

基本情報

ファイル

関連URL

作成者

内容説明

資料詳細

関連イベント

訴訟

Project information

出版物 1