How is firm creation affected by imperfect information? Our model of rational inattention generates inefficient entry and labor misallocation, because startups make error-prone decisions. Learning decisions prospective entrepreneurs alter the effects lump-sum transfers to startups: total employment gain amplified due an unintended increase in entry, most entrants hire fewer workers, misallocati...

Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system’s control states and stack content). For standard CTL, PMC w...