Lukasiewicz public announcement logic
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 Announce...
Guardado en:
| Publicado: |
2016
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18650929_v611_n_p108_Cabrer http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p108_Cabrer |
| Aporte de: |