Elimination of Predicate Quantifiers-Reference-Cited by-同舟云学术

Elimination of Predicate Quantifiers

Published:1999 Issue: Volume: Page:149-171
ISSN:1572-6126
Container-title:Trends in Logic
language:
Short-container-title:

Author:

Nonnengart Andreas,Ohlbach Hans Jürgen,Szałas Andrzej

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-011-4574-9_9

Reference23 articles.

1. Wilhlern Ackermann. Untersuchung über das Eliminationsproblem der mathematischen Logik. Mathematische Annalen, 110: 390–413, 1935.

2. Wühlern Ackermann. Zum Eliminationsproblem der Mathematischen Logik. Mathematische Annalen, 111: 61–63, 1935.

3. Patrick Doherty, Witold Lukaszewicz, and Andrzej Szałas. Computing circumscription revisited: a reduction algorithm. Technical Report LiTH-IDA-R-94-42, Institutionen for Datavetenskap. University of Linköping, 1994. A preliminary report published in Proceedings 4th IJCAI, Morgan Kaufmann Pub. Inc., pp 1502–1508, 1995. To appear in Journal of Automated Reasoning.

4. Patrick Doherty, Witold Lukaszewicz, and Andrzej Szałas. A characterization result for circumscribed normal logic programs. Technical Report LiTH-IDA-R-95-20, Institutionen för Datavetenskap, University of Linköping, 1995. To appear in Fundamenta Informaticae.

5. Thorsten Engel. Elimination of Predicate and Function Quantifiers. Diploma Thesis. Max-Planck-Institut für Informatik, Saarbrücken, 1996.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modal Mantık için Algoritmik Tekabül;Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi;2021-11-09

2. A Tractable Logic for Molecular Biology;Electronic Proceedings in Theoretical Computer Science;2019-09-19

3. Towards incorporating background theories into quantifier elimination;Journal of Applied Non-Classical Logics;2008-01

4. Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals;Studia Logica;2007-10-06

5. Second-Order Quantifier Elimination in Modal Contexts;Logics in Artificial Intelligence;2002