A dynamic informational-epistemic logic
From MaRDI portal
Publication:1742621
DOI10.1007/978-3-319-73579-5_5zbMath1503.68253OpenAlexW2772352918MaRDI QIDQ1742621
Publication date: 12 April 2018
Full work available at URL: http://workshop.dali.di.uminho.pt/
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)
This page was built for publication: A dynamic informational-epistemic logic