Abstract: Justification logics provide a framework for reasoning about justifications and evidence. In this article, we study a fuzzy variant of justification logics in which an agent’s justification ...
This graduate course provides an introduction to substructural logics, such as linear, ordered, affine, bunched, or separation logic, with an emphasis on their applications in computer science. This ...
Some exceptional experiences give us access to a different reality from the one we encounter in our everyday lives. In the twentieth century, a number of philosophers explored these experiences in the ...
Classical logic – which studies the structural features of purported claims of fact – and modal logic – which studies relations of necessity and possibility – are different but complementary areas of ...