Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Gabbay, Dov M.
Ohlbach, Hans Jürgen

dblp
dblp



Editor(s):

Nebel, Bernhard Nebel
Rich, Charles
Swartout, William

dblp
dblp
dblp



BibTeX cite key*:

GabbayOhlbach92cKR

Title, Booktitle

Title*:

Quantifier Elimination in Second-Order Predicate Logic

Booktitle*:

Principles of Knowledge Representation and Reasoning (KR92),

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

-

Language:

English

Event Date*
(no longer used):

-

Organization:


Event Start Date:

23 September 2019

Event End Date:

23 September 2019

Publisher

Name*:

Morgan Kaufmann

URL:


Address*:


Type:


Vol, No, Year, pp.

Series:


Volume:

7

Number:


Month:


Pages:

425-435

Year*:

1992

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

Also available as Research Report MPI-I-92-213

(LaTeX) Abstract:

An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type $\exists P_1, \ldots, P_n \psi$ where $\psi$ is an arbitrary formula of first-order predicate logic. The resulting formula is equivalent to the original formula - if the algorithm terminates. The algorithm can for example be applied to do interpolation, to eliminate the second-order quantifiers in circumscription, to compute the correlations between structures and power structures, to compute semantic properties corresponding to Hilbert axioms in non classical logics and to compute model theoretic semantics for new logics.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII FTP Server



BibTeX Entry:

@INPROCEEDINGS{GabbayOhlbach92cKR,
AUTHOR = {Gabbay, Dov M. and Ohlbach, Hans J{\"u}rgen},
EDITOR = {Nebel, Bernhard Nebel and Rich, Charles and Swartout, William},
TITLE = {Quantifier Elimination in Second-Order Predicate Logic},
BOOKTITLE = {Principles of Knowledge Representation and Reasoning (KR92),},
JOURNAL = {South African Computer Journal},
PUBLISHER = {Morgan Kaufmann},
YEAR = {1992},
VOLUME = {7},
PAGES = {425--435},
NOTE = {Also available as Research Report MPI-I-92-213},
}


Entry last modified by Uwe Brahm, 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)
Hans Jürgen Ohlbach
Created
02/06/1995 05:56:20 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE
Edit Dates
18/04/97 09:16:07
18/04/97 09:15:53
10/02/95 17:19:33
31/01/95 15:48:50
31/01/95 15:44:18