DOI10.1007/s10472-012-9312-zzbMath1272.03098MaRDI QIDQ1935592
Dov M. Gabbay
Publication date: 18 February 2013 Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10472-012-9312-z
zbMATH Keywords
reactive Kripke models; argumentation networks
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence