?url_ver=Z39.88-2004&rft_id=10.1145%2F963927.963930&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Loreti%2C+Michele&rft.aulast=Loreti&rft.aufirst=Michele&rft.atitle=A+modal+logic+for+mobile+agents&rft.title=ACM+Transactions+on+Computational+Logic+&rft.issue=1&rft.volume=5&rft.date=2004&rft.pages=79-128&rft.issn=1557-945X&rft.genre=article