%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 }