Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Translating Graded Modalities into Predicate Logic

Ohlbach, H. J., Schmidt, R. A., & Hustadt, U. (1996). Translating Graded Modalities into Predicate Logic. In H. Wansing (Ed.), Proof Theory of Modal Logic (pp. 253-291). Dordrecht, The Netherlands: Kluwer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC23-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC24-4
Genre: Buchkapitel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ohlbach, Hans Jürgen1, Autor           
Schmidt, Renate A.1, Autor           
Hustadt, Ullrich1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In the logic of graded modalities it is possible to talk about sets of finite cardinality. Various calculi exist for graded modal logics and all generate vast amounts of case distinctions. In this paper we present an optimized translation from graded modal logic into many-sorted predicate logic. This translation has the advantage that in contrast to known approaches our calculus enables us to reason with cardinalities of sets symbolically. In many cases the length of proofs for theorems of this calculus is independent of the cardinalities. The translation is sound and complete.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519583
Anderer: Local-ID: C1256104005ECAFC-A87AAF0E66645F5EC12562C8005A23E6-OhlbachSchmidtHustadt96
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proof Theory of Modal Logic
Genre der Quelle: Buch
 Urheber:
Wansing, H., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 253 - 291 Identifikator: ISBN: 0-7923-4120-1

Quelle 2

einblenden:
ausblenden:
Titel: Studies in Applied Logic Series
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -