[FOM] Least Fixed Point Logic

[Sara L. Uckelman]

An axiomatization of FO(LFP^1) is presented in chapter 3 of Amelie
Gheerbrant's 2010 dissertation, _Fixed-Point Logics on Trees_
(http://www.illc.uva.nl/Research/Dissertations/DS-2010-08.text.pdf)

-Sara

-- 
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
http://www.rzuser.uni-heidelberg.de/~suckelma/