Godel's constructible universe uses first order logic to build a model of ZFC containing all of the ordinals and where the GCH holds.  This talk describes a method of building analogous models using Stationary Logic. These are well-founded inner models of stronger axioms than ZFC that retain elements of fine structure. 

Stationary Logic is a stronger logic than first order logic, but retains desirable model theoretic aspects.