Identification through Inductive Verification
From MaRDI portal
Publication:3623838
DOI10.1007/978-3-642-00665-4_16zbMath1236.03025OpenAlexW1564874192MaRDI QIDQ3623838
Publication date: 24 April 2009
Published in: Logic, Language, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00665-4_16
Related Items
Invariance Properties of Quantifiers and Multiagent Information Exchange ⋮ Unnamed Item ⋮ Learning by Erasing in Dynamic Epistemic Logic ⋮ Bridging learning theory and dynamic epistemic logic
Cites Work