K. Schewe, and J. Turull Torres. Proceedings of the 2006 Conference on Information Modelling and Knowledge Bases XVII, page 237--244. Amsterdam, The Netherlands, The Netherlands, IOS Press, (2006)
Abstract
We add inflationary and non-inflationary fixed-points to higher-order logics. We show that, for every order, it is sufficient to increase the order of the given logic by one to capture inflationary fixed-points and by two to capture non-inflationary fixed-points. In the two cases, restricting to the existential fragment of the corresponding logic turns out to be enough. This also holds for non-deterministic fixed-points.
%0 Conference Paper
%1 Schewe:2006:FQH:1565027.1565045
%A Schewe, Klaus-Dieter
%A Turull Torres, José Mar\'ıa
%B Proceedings of the 2006 Conference on Information Modelling and Knowledge Bases XVII
%C Amsterdam, The Netherlands, The Netherlands
%D 2006
%I IOS Press
%K fixepoint higher logic order partial schewe
%P 237--244
%T Fixed-Point Quantifiers in Higher Order Logics
%U http://dl.acm.org/citation.cfm?id=1565027.1565045
%X We add inflationary and non-inflationary fixed-points to higher-order logics. We show that, for every order, it is sufficient to increase the order of the given logic by one to capture inflationary fixed-points and by two to capture non-inflationary fixed-points. In the two cases, restricting to the existential fragment of the corresponding logic turns out to be enough. This also holds for non-deterministic fixed-points.
%@ 1-58603-591-6
@inproceedings{Schewe:2006:FQH:1565027.1565045,
abstract = {We add inflationary and non-inflationary fixed-points to higher-order logics. We show that, for every order, it is sufficient to increase the order of the given logic by one to capture inflationary fixed-points and by two to capture non-inflationary fixed-points. In the two cases, restricting to the existential fragment of the corresponding logic turns out to be enough. This also holds for non-deterministic fixed-points.},
acmid = {1565045},
added-at = {2018-05-25T14:43:55.000+0200},
address = {Amsterdam, The Netherlands, The Netherlands},
author = {Schewe, Klaus-Dieter and Turull Torres, Jos{\'e} Mar\'{\i}a},
biburl = {https://www.bibsonomy.org/bibtex/21b16ac7f7d6acca32f2ca708a4e3c69b/uk044140},
booktitle = {Proceedings of the 2006 Conference on Information Modelling and Knowledge Bases XVII},
description = {Fixed-Point Quantifiers in Higher Order Logics},
interhash = {f0676a467ba19b50474da63b9a03d03b},
intrahash = {1b16ac7f7d6acca32f2ca708a4e3c69b},
isbn = {1-58603-591-6},
keywords = {fixepoint higher logic order partial schewe},
numpages = {8},
pages = {237--244},
publisher = {IOS Press},
timestamp = {2018-05-25T14:43:55.000+0200},
title = {Fixed-Point Quantifiers in Higher Order Logics},
url = {http://dl.acm.org/citation.cfm?id=1565027.1565045},
year = 2006
}