Journal of Applied LogicVolume 5, Issue 2, June 2007, Pages 193-195EditorialLogic-Based Agent VerificationAuthor links open overlay panelMichael Fisher, Munindar Singh, Diana Spears, Mike WooldridgeShow moreShareCitehttps://doi.org/10.1016/j.jal.2005.12.012Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2005 Elsevier B.V. All rights reserved.