ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Lukasiewicz Public Announcement Logic
Autor/es:
UMBERTO RIVIECCIO; LEONARDO CABRER; RICARDO O. RODRIGUEZ
Revista:
Communications in Computer and Information Science
Editorial:
Springer Verlag
Referencias:
Lugar: Berlin; Año: 2016 vol. 611 p. 108 - 122
ISSN:
1865-0929
Resumen:
In this work we lay a theoretical framework for developing dynamic epistemic logics in a many-valued setting. We consider in particular the logic of Public Announcements, which is one of the simplest and best-known dynamic epistemic systems in the literature. We show how to develop a Public Announcement Logic based on finite-valued Łukasiewicz modal logic. We define our logic through a relational semantics based on many-valued Kripke models, and also introduce an alternative but equivalent algebra-based semantics using MV-algebras endowed with modal operators. We provide a Hilbert-style calculus for our logic and prove completeness with respect to both semantics.
