The main results of the paper are the following: For each monadic propositional formula φ which is classically true but not intuitionistically so, there is a continuum of intuitionistic monotone modal ...

Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive ...

The philosophy of language and propositional attitudes investigates the complex interplay between linguistic structures and the mental states that underpin communication, thought, belief and behaviour ...