[FOM] Least Fixed Point Logic

Sara L. Uckelman sara.uckelman at asia-europe.uni-heidelberg.de
Wed Nov 27 05:11:18 EST 2013

An axiomatization of FO(LFP^1) is presented in chapter 3 of Amelie
Gheerbrant's 2010 dissertation, _Fixed-Point Logics on Trees_


Dr. Sara L. Uckelman
Cluster of Excellence "Asia and Europe in a Global Context"
Karl Jaspers Centre for Advanced Transcultural Studies
Ruprecht-Karls Universität Heidelberg

More information about the FOM mailing list