intensional logic

Any system unlike classical logic in that it admits contexts in which substitution of co-referring proper names, or predicates that have the same extension, or sentences that have the same truth value, need not preserve the truth value of sentences in which they are embedded.