Navegar

Colección

Datos Estadísticas

Artículo

Cabrer, L.; Rivieccio, U.; Rodriguez, R.O.; Vieira S.; Carvalho J.P.; Lesot M.-J.; Bouchon-Meunier B.; Kaymak U.; Yager R.R. "Lukasiewicz public announcement logic" (2016) 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:108-122
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

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. © Springer International Publishing Switzerland 2016.

Registro:

Documento: Artículo
Título:Lukasiewicz public announcement logic
Autor:Cabrer, L.; Rivieccio, U.; Rodriguez, R.O.; Vieira S.; Carvalho J.P.; Lesot M.-J.; Bouchon-Meunier B.; Kaymak U.; Yager R.R.
Filiación:Institute of Computer Languages, Technische Universität Wien, Wien, Austria
Department of Informatics and Applied Mathematics, UFRN, Natal, Brazil
Departamento de Computación, FCEyN-UBA, Buenos Aires, Argentina
Palabras clave:Epistemic logics; Lukasiewicz modal logic; MV-algebras; Public Announcements Logic; Algebra; Calculations; Computer circuits; Formal logic; Information management; Information science; Knowledge based systems; Reconfigurable hardware; Semantics; Dynamic epistemic logic; Epistemic logic; Hilbert-style calculus; Modal logic; MV-algebras; Public Announcements Logic; Relational semantics; Theoretical framework; Many valued logics
Año:2016
Volumen:611
Página de inicio:108
Página de fin:122
DOI: http://dx.doi.org/10.1007/978-3-319-40581-0_10
Título revista:16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016
Título revista abreviado:Commun. Comput. Info. Sci.
ISSN:18650929
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18650929_v611_n_p108_Cabrer

Referencias:

  • Baltag, A., Moss, L., Solecki, A., (1999) The Logic of Public Announcements, Common Knowledge, and Private Suspicions, , CWI technical report SEN-R9922
  • van Benthem, J., (2011) Logical Dynamics of Information and Interaction, , Cambridge University Press, Cambridge
  • Cignoli, R., D’Ottaviano, I.M.L., Mundici, D., Algebraic Foundations of Many- Valued Reasoning (2000) Trends in Logic-Studia Logica Library, 7. , Kluwer Academic Publishers, Dordrecht
  • Grigolia, R.S., Algebraic analysis of Łukasiewicz-Tarski’s n-valued logical systems (1977) Selected Papers on Łukasiewicz Sentential Calculi, pp. 81-92. , Wójciki, R., Malinowski, G. (eds.), Ossolineum, Wronclaw
  • Hansoul, G., Teheux, B., Extending Łukasiewicz logics with a modality: Algebraic approach to relational semantics (2013) Studia Logica, 101 (3), pp. 505-545
  • Kurz, A., Palmigiano, A., Epistemic updates on algebras (2013) Logical Methods Comput. Sci, 9 (4), pp. 1-28
  • Ma, M., Palmigiano, A., Sadrzadeh, M., Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic (2014) Ann. Pure Appl. Logic, 165, pp. 963-995
  • Teheux, B., A duality for the algebras of a Łukasiewicz n+1-valued modal system (2008) Studia Logica, 87 (1), pp. 13-36
  • Rivieccio, U., Algebraic semantics for bilattice public announcement logic (2014) Proceedings of Trends in Logic XIII, pp. 199-215. , Indrzejczak, A., Kaczmarek, J., Zawidzki, M. (eds.), Lodz, Poland, 2–5 July 2014, Lodz University Press
  • Rivieccio, U., Bilattice public announcement logic (2014) Advances in Modal Logic, 10, pp. 459-477. , Goré, R., Kooi, B., Kurucz, A. (eds.), College PublicationsA4 -

Citas:

---------- APA ----------
Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B.,..., Yager R.R. (2016) . Lukasiewicz public announcement logic. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, 611, 108-122.
http://dx.doi.org/10.1007/978-3-319-40581-0_10
---------- CHICAGO ----------
Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., et al. "Lukasiewicz public announcement logic" . 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016 611 (2016) : 108-122.
http://dx.doi.org/10.1007/978-3-319-40581-0_10
---------- MLA ----------
Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., et al. "Lukasiewicz public announcement logic" . 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, vol. 611, 2016, pp. 108-122.
http://dx.doi.org/10.1007/978-3-319-40581-0_10
---------- VANCOUVER ----------
Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., et al. Lukasiewicz public announcement logic. Commun. Comput. Info. Sci. 2016;611:108-122.
http://dx.doi.org/10.1007/978-3-319-40581-0_10