Implementing Modal and Relevance Logics in a Logical Framework

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

Local TagsRelease HistoryDetailsSummary

Implementing Modal and Relevance Logics in a Logical Framework

Basin, D. A., Matthews, S., & Viganò, L. (1996). Implementing Modal and Relevance Logics in a Logical Framework. In L. Carlucci-Aiello, J. Doyle, & S. Shapiro (Eds.), Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96) (pp. 386-397). San Francisco, USA: Morgan Kaufmann.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABE0-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABE1-F

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Basin, David A.¹, Author
Matthews, Seán¹, Author
Viganò, Luca¹, Author

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

Content

show

hide

Free keywords: -

Abstract: We present a framework for machine implementation of both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. Our approach is modular and supports uniform proofs of correctness and proof normalization. We have implemented our work in the Isabelle Logical Framework.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-11-29Date issued: 1996

Publication Status: Issued

Pages: -

Publishing info: San Francisco, USA : Morgan Kaufmann

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519469
Other: Local-ID: C1256104005ECAFC-11A46D4ED1A37E3FC12563EF005524DE-Basin96d

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Cambridge, MA, USA

Start-/End Date: -

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96)

Source Genre: Proceedings

Creator(s):
Carlucci-Aiello, Luigia, Editor
Doyle, Jon, Editor
Shapiro, Stuart, Editor

Affiliations:
-

Publ. Info: San Francisco, USA : Morgan Kaufmann

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 386 - 397 Identifier: -