{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T17:10:10Z","timestamp":1747847410701,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"abstract":"<jats:p>Logics Modulo Theories, LMT, is a logical framework specially designed to support the work of multi-agent systems. It is a system that allows local logics to communicate through a global system which has its own logic. (The method has similarities with, but goes beyond, SMT, Satisfiability Modulo Theories.) In two earlier papers we considered a variety of logics used to represent ontologies (e.g. first order logic, description logic) as the local logics and at the global level we used a propositional logic. However, at that time, we only gently hinted how this applies to multi-agent systems and we lacked quantification capabilities in the upper logic. In this paper we present full blown support for multi-agent system, the use of the modal logic S5 at the global level. The following are the theses of this paper : a) when used for combining logics, in comparison to other methods, LMT produces a more elegant and simpler logical system which is appropriate for multi-agent work, b) the ideal properties of its component logics, namely &amp;ndash; soundness and completeness transfer to the resulting logic, c) the proofs for these are very straightforward because LMT uses well-established technology.<\/jats:p>","DOI":"10.3233\/978-1-61499-105-2-118","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:27:24Z","timestamp":1740133644000},"source":"Crossref","is-referenced-by-count":1,"title":["LMT: A Lightweight Logical Framework for Multi-agent Systems"],"prefix":"10.3233","author":[{"family":"Crossley John N.","sequence":"additional","affiliation":[]},{"family":"Cruz Lito Perez","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Advances in Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:59:18Z","timestamp":1740135558000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=243&spage=118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-105-2-118","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}