I am looking for some paper that tries to establish rigorous micro-foundations the behavioral New Keynesian (or any other) macro models.
This is surprisingly hard, most work on this topic (like De Grauwe 2012), simply starts already by setting up IS and LM curves and adding some sort of mix of rational and behavioral agents (mostly agents with non-rational expectations) on top of it. However, I can't find any paper that would provide full rigorous micro-foundations for such model (i.e. deriving IS and LM from the micro behavior of these rational and behavioral agents across time).
This is of course difficult, as without the rational expectations it is difficult to solve macro models, but on other hand it is hard to believe this issue would be ignored by the practitioners.
Consequently, my question is: are there any papers that establish rigorous micro-foundations for behavioral macro models?