Translation methods for non-classical logics: an overview

Ohlbach, Hans Jürgen

Local TagsRelease HistoryDetailsSummary

Translation methods for non-classical logics: an overview

Ohlbach, H. J.(1993). Translation methods for non-classical logics: an overview (MPI-I-93-225). Saarbrücken: Max-Planck-Institut für Informatik.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-B46D-3 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-B46E-1

Genre: Report

Files

show Files

hide Files

:

MPI-I-93-225.pdf (Any fulltext), 151KB

View Save

File Permalink:
https://hdl.handle.net/11858/00-001M-0000-0014-B46F-0

Name:
MPI-I-93-225.pdf

Description:
-

OA-Status:

Visibility:
Public

MIME-Type / Checksum:
application/pdf / [MD5]

Technical Metadata:

View

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Ohlbach, Hans Jürgen¹, Author

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

Content

show

hide

Free keywords: -

Abstract: This paper gives an overview on translation methods we have developed for non-classical logics, in particular for modal logics.\ Optimized `functional' and semi-functional translation into predicate logic is described. Using normal modal logic as an intermediate logic, other logics can be translated into predicate logic as well. As an example, translation of modal logic of graded modalities is sketched. In the second part of the paper it is shown how to translate Hilbert axioms into properties of the semantic structure and vice versa, i.e. we can automate important parts of correspondence theory. The exact formalisms and the soundness and completeness proofs can be found in the original papers.

Details

show

hide

Language(s): eng - English

Dates: Date issued: 1993

Publication Status: Issued

Pages: 25 p.

Publishing info: Saarbrücken : Max-Planck-Institut für Informatik

Table of Contents: -

Rev. Type: -

Identifiers: Report Nr.: MPI-I-93-225
BibTex Citekey: Ohlbach93

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Research Report / Max-Planck-Institut für Informatik

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

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