A sequent calculus with labels for Public Announcement Logic
Résumé
We present a sequent calculus with labels for PAL.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)