Naming and identity in epistemic logic. II: A first-order logic for naming

From MaRDI portal
Publication:1855214

DOI10.1016/0004-3702(95)98593-DzbMath1012.03028MaRDI QIDQ1855214

Adam J. Grove

Publication date: 4 February 2003

Published in: Artificial Intelligence (Search for Journal in Brave)




Related Items (9)




Cites Work




This page was built for publication: Naming and identity in epistemic logic. II: A first-order logic for naming