Coalgebraic Epistemic Update Without Change of Model

DOI10.1007/978-3-540-73859-6_11zbMath1214.68408OpenAlexW1856721019MaRDI QIDQ3612490

Mehrnoosh Sadrzadeh, Corina Cîrstea

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/263863/1/LNCS.pdf

Mathematics Subject Classification ID

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

Related Items (4)

On inverse operators in dynamic epistemic logic ⋮ Categories for Dynamic Epistemic Logic ⋮ Aximo: Automated Axiomatic Reasoning for Information Update ⋮ Modular Games for Coalgebraic Fixed Point Logics

This page was built for publication: Coalgebraic Epistemic Update Without Change of Model