Cet article explore les séquents imbriqués et leur application dans les logiques modales quantifiées.
― 7 min lire
La science de pointe expliquée simplement
Cet article explore les séquents imbriqués et leur application dans les logiques modales quantifiées.
― 7 min lire