intensionale

agg. [da intensione]. In logica matematica, si dice di un sistema logico, o di un linguaggio logico, in cui vengono prese in considerazione le intensioni delle loro espressioni e non solo le estensioni, come nei sistemi ordinari. In genere, sono intensionali i sistemi di logica modale.