Int. J. of Comp. & Info. Tech., (2016) 4(1): 27-32. 27 ISBN: 2345-3877 www.ijocit.org Volume 4, Issue 1 Original Research _ A Reasoning Method based on Spatio-Temporal Relevant Logic in Mobile Multi-Agent Systems (MMAS) Seyyed Ahmad Mirsanei 1, * Mohammad Kadkhoda 2 Received: 02 Dec 2015 Accepted: 17 Feb 2016 Copyright © The Author(s). All Rights Reserved. Abstract In this paper, we continued the preparatory works of Jingde Cheng in conjunction with spatio-temporal relevant logics, and proposed several epistemic spatio-temporal relevant logics as basic logics for Mobile Multi-Agent Systems (MMAS). To establish an inference system, important elements are: semantics and syntax appropriate to it include a language, axioms and inference rules. By proving the meta-logical properties such as soundness and consistency, completeness and decidability and etc., we have a method to test the reliability of the systems. Finally, we will have models and algorithms for the application of these logics in the MMAS. Keywords: Relevant logic, Epistemic logic, Temporal logic, Spatial logic, Mobile Multi-Agent Systems, Reasoning. Citation: Mirsanei, S. A., Kadkhoda, M., (2016), A Reasoning Method based on Spatio-Temporal Relevant Logic in Mobile Multi-agent Systems (MMAS), Int. J. of Comp. & Info. Tech. (IJOCIT), 4(1): 27-32. 1 2 * Department of Logic and Philosophy, Tarbiat M odares University (TM U), Tehran, Iran M athem atics & Informatics Research Group, ACECR, Tarbiat M odares University (TM U), Tehran, Iran Corresponding Author: sahmir118@gmail.com