Public announcements, public assignments and the complexity of their logic - Archive ouverte HAL
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2012

Public announcements, public assignments and the complexity of their logic

Résumé

We study the extension of public announcement logic PAL by public assignments, which we call PALA. Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e. the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential growth. In this paper, we show that such a price is not mandatory, for we provide a polynomial translation of PALA into EL. This is based on abbreviations of subformulae by new propositional letters. Such optimal translation also enables us to show the computational complexity of the problem of deciding PALA validity, which turns out to be coNP-complete in the single-agent case and PSPACE-complete in the multiagent case.

Dates et versions

hal-00868339 , version 1 (01-10-2013)

Identifiants

Citer

Hans van Ditmarsch, Andreas Herzig, Tiago de Lima. Public announcements, public assignments and the complexity of their logic. Journal of Applied Non-Classical Logics, 2012, 22 (3), pp.249-273. ⟨10.1080/11663081.2012.705964⟩. ⟨hal-00868339⟩
88 Consultations
0 Téléchargements

Altmetric

Partager

More