Loading [MathJax]/jax/output/CommonHTML/jax.js
Journal of Siberian Federal University. Mathematics & Physics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



J. Sib. Fed. Univ. Math. Phys.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Journal of Siberian Federal University. Mathematics & Physics, 2008, Volume 1, Issue 4, Pages 399–409 (Mi jsfu40)  

A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents

Vladimir V. Rybakova, Sergej V. Babenyshevb

a Institute of Mathematics, Siberian Federal University
b Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, U.K.
References:
Abstract: In this paper we introduce a temporal multi-agent logic S4IAT, which implements interacting agents. Logic S4IAT is defined semantically as the set of all formulas of the appropriate propositional language that are valid in special Kripke models. The models are based on S4-like time frames, i.e., with reflexive and transitive time-accessibility relations. Agents knowledge-accessibility relations Ri, defined independently for each individual agent, are S5-relations on R-time clusters, and interaction of the agents consists of passing knowledge along arbitrary paths of such relations. The key result of the paper is an algorithm for checking satisfiability and recognizing theorems of S4IAT. We also prove the effective finite model property for the logic S4IAT.
Keywords: multi-agent logics, tense logics, knowledge representation, satisfiability, decidability, inference rules.
Received: 10.08.2008
Received in revised form: 11.10.2008
Accepted: 06.11.2008
UDC: 510.643+517.11
Language: English
Citation: Vladimir V. Rybakov, Sergej V. Babenyshev, “A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents”, J. Sib. Fed. Univ. Math. Phys., 1:4 (2008), 399–409
Citation in format AMSBIB
\Bibitem{RybBab08}
\by Vladimir~V.~Rybakov, Sergej~V.~Babenyshev
\paper A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents
\jour J. Sib. Fed. Univ. Math. Phys.
\yr 2008
\vol 1
\issue 4
\pages 399--409
\mathnet{http://mi.mathnet.ru/jsfu40}
Linking options:
  • https://www.mathnet.ru/eng/jsfu40
  • https://www.mathnet.ru/eng/jsfu/v1/i4/p399
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Журнал Сибирского федерального университета. Серия "Математика и физика"
    Statistics & downloads:
    Abstract page:302
    Full-text PDF :99
    References:52
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025