Dynamic Hypersequents for Public Announcement Logic
Francesca Poggiolesi, Clara Lerouvillois
Journal
The Review of Symbolic Logic
Topics
Logic, Reasoning, and Knowledge
article
Dynamic Hypersequents for Public Announcement Logic
Francesca Poggiolesi, Clara Lerouvillois
article en
Abstract
No abstract available for this paper.
Publication Tag
The Review of Symbolic Logic
Institutions
Université Toulouse III - Paul Sabatier (FR), Université Toulouse-I-Capitole (FR), Institut d'Histoire et de Philosophie des Sciences et des Techniques (FR), Institut de Recherche en Informatique de Toulouse (FR), Université Toulouse - Jean Jaurès (FR), Institut Polytechnique de Bordeaux (FR)