Erkenntnis is a philosophical journal publishing papers committed in one way or another to the philosophical attitude which is signified by the label "analytic philosophy". It concentrates on those ...

The authors do not work for, consult, own shares in or receive funding from any company or organization that would benefit from this article, and have disclosed no relevant affiliations beyond their ...

Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal ...