Abstract
In this project we construct a logical framework that is capable of adequately modelling actual human reasoning. Research in logic has long assisted different modelling attempts, but theoretical problems and interdisciplinary empirical findings show that the standard investigations into how real people think, believe, and know, are deemed insufficient. It is our aim to adapt our logical systems and make them fit to model boundedly rational reasoners. We will unite our results in a new logical framework that can refute the criticism on the standard setting.