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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.
Formato: SER
Materias:
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
Relational semantics
Theoretical framework
Many valued logics
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p108_Cabrer
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares