From Knowledge to Action: Logics of Permitted and Obligatory Announcements
Authors: Xu Li, Guillaume Aucher, Dov Gabbay, Réka Markovich
JAIR 2025 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We formalize the notions of permitted and obligatory announcements in the context of information security... We propose two logics, LPOA and DLPOA, to reason about permitted and obligatory announcements in static and dynamic contexts, respectively. These two logics are completely axiomatized, and we also study generalizations in which the receiver s knowledge is characterized by non-S5 logics. Our paper makes two main contributions to the formalization of permitted and obligatory announcements: First, we clarify the interplay between the sender s permitted and obligatory announcements and the receiver s knowledge. Second, we distinguish between weakly and strongly permitted announcements. |
| Researcher Affiliation | Academia | Xu Li EMAIL University of Luxembourg Guillaume Aucher EMAIL Univ Rennes, CNRS, IRISA, IRMAR Dov Gabbay EMAIL King s College London University of Luxembourg Reka Markovich EMAIL University of Luxembourg |
| Pseudocode | No | The paper only contains formal definitions of languages, semantics, and axiomatization schemes. It does not present any structured pseudocode or algorithm blocks describing a computational procedure. |
| Open Source Code | No | The paper does not provide any explicit statement about releasing source code or links to a code repository. The paper focuses on theoretical formalization and axiomatization of logics. |
| Open Datasets | No | The paper does not use or refer to any publicly available datasets for experimental evaluation. It uses conceptual examples (e.g., 'plane ticket example', 'website example') to illustrate the theoretical framework, not for empirical analysis. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments with datasets; therefore, there is no mention of dataset splits. |
| Hardware Specification | No | The paper is theoretical and does not describe experimental work. Therefore, no hardware specifications are provided for running experiments. |
| Software Dependencies | No | The paper is theoretical and focuses on logical formalizations and axiomatization. It does not describe any implementation or experimental setup that would require specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not involve empirical experiments. Therefore, no experimental setup details, such as hyperparameters or training configurations, are provided. |