Hasonló tételek: Klasszikus, modális és intenzionális logika