Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich

dblp
dblp
dblp



Editor(s):

Wansing, H.

dblp



BibTeX cite key*:

OhlbachSchmidtHustadt96

Title, Booktitle

Title*:

Translating Graded Modalities into Predicate Logic

Booktitle*:

Proof Theory of Modal Logic

Chapter:


Series:

Studies in Applied Logic Series

Language:

English

Publisher

Name*:

Kluwer

URL:


Address*:

Dordrecht, The Netherlands

Publication Type:


Vol, No, pp., Year

Volume:


Number:


Edition:


Pages*:

253-291

Month:


VG Wort Pages:


ISBN:

0-7923-4120-1

Year*:

1996

Abstract, Links, ©

Note:

Also available as Research Report MPI-I-95-2-008

LaTeX Abstract:

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.

URL Abstract:


Tags, Keywords:

KL-ONE-type knowledge representation, correspondence problem, functional semantics, symbolic arithmetical reasoning, theorem proving, graded modal logic, non-classical logics, theory resolution, transformation to many-sorted logic, quantifier elimination, ALCN

Copyright Message:


HyperLinks / References / URLs:

http://www.mpi-sb.mpg.de/~schmidt/publications/OhlbachSchmidtHustadt96.html

Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@INBOOK{OhlbachSchmidtHustadt96,
AUTHOR = {Ohlbach, Hans J{\"u}rgen and Schmidt, Renate A. and Hustadt, Ullrich},
EDITOR = {Wansing, H.},
TITLE = {Translating Graded Modalities into Predicate Logic},
BOOKTITLE = {Proof Theory of Modal Logic},
PUBLISHER = {Kluwer},
YEAR = {1996},
INSTITUTION = {Max-Planck-Institut für Informatik},
PAGES = {253--291},
SERIES = {Studies in Applied Logic Series},
ADDRESS = {Dordrecht, The Netherlands},
ISBN = {0-7923-4120-1},
NOTE = {Also available as Research Report MPI-I-95-2-008},
}


Entry last modified by Renate A. Schmidt, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Roxane Wetzel
Created
02/06/1996 05:24:34 PM
Revisions
16.
15.
14.
13.
12.
Editor(s)
Renate A. Schmidt
Ullrich Hustadt
Renate A. Schmidt
Ullrich Hustadt
Ullrich Hustadt
Edit Dates
09/05/97 15:28:31
24/04/97 12:19:56
14/04/97 14:49:27
14/04/97 12:08:55
14/04/97 12:03:18