A dynamic informational-epistemic logic

DOI10.1007/978-3-319-73579-5_5zbMath1503.68253OpenAlexW2772352918MaRDI QIDQ1742621

Yuri David Santos

Publication date: 12 April 2018

Full work available at URL: http://workshop.dali.di.uminho.pt/

zbMATH Keywords

multi-agent systemsepistemic logicmany-valued logicsparaconsistent logicspublic announcements

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53) Agent technology and artificial intelligence (68T42)

Related Items (2)

A four-valued dynamic epistemic logic ⋮ Bilattice logic of epistemic actions and knowledge

This page was built for publication: A dynamic informational-epistemic logic