We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as ...

The quantified extension of a canonical propositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a ...

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 ...