A sequent calculus with labels for Public Announcement Logic - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A sequent calculus with labels for Public Announcement Logic

Philippe Balbiani
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
Vincent Demange
Logic, Proof Theory and Programming
Didier Galmiche
Logic, Proof Theory and Programming

Résumé

We present a sequent calculus with labels for PAL.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
AiML2914.pdf (275.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Didier Galmiche  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01259783

Soumis le : mardi 5 juillet 2022-14:21:44

Dernière modification le : lundi 20 novembre 2023-11:44:23

Archivage à long terme le : jeudi 6 octobre 2022-18:37:28

Télécharger pour visualiser

Dates et versions

hal-01259783 , version 1 (05-07-2022)

Identifiants

  • HAL Id : hal-01259783 , version 1

Citer

Philippe Balbiani, Vincent Demange, Didier Galmiche. A sequent calculus with labels for Public Announcement Logic. Conference on Advances in Modal Logic (AiML 2014), 2014, Groningen, Netherlands. ⟨hal-01259783⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA SMS UT1-CAPITOLE UNIV-LORRAINE LORIA LORIA-FM IRIT IRIT-LILAC ANR IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
118 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More