Zofia Kostrzycka - autor

Modal logic is often described as the logic of necessity and possibility. It is a branch of modern logic with many applications to formal philosophy. In this book we examine one of the modal systems, the so-called Brouwer logic KTB, and its...