A Sketch of a Dynamic Epistemic Semiring

DOI10.1007/978-3-540-73445-1_24zbMath1213.03026OpenAlexW4245962501MaRDI QIDQ3612671

Kim Solin

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_24

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Enabledness and termination in refinement algebra ⋮ A sketch of a dynamic epistemic semiring

This page was built for publication: A Sketch of a Dynamic Epistemic Semiring