intensional

s classical propositional and predicate logic to handle modal and propositional attitudes. It introduces operators such as: Necessity (□): "It is necessary that..." Possibility (◇): "It is possible that..." Belief (B): "X believes that..." These operators allow formalization of complex s