Multiagent and temporal logics are active domains in Information Sciences, CS, and AI.
Attention has predominantly focused on the logics based on transitive relational models …

We study multiagent logics and use temporal relational models with multivaluations. The key
distinction from the standard relational models is the introduction of a particular valuation for …

We study many–valued temporal multi–agent logics based on non-transitive models. The
semantical basis, ie, relational models, are used for modelling of computational processes …

This paper considers the branching time logic on non–transitive intervals of agents'
accessibility relations. The agents' accessibility relations are defined inside transitivity …

This paper studies relational Kripke models for computation truth values in some extended
logical language. The multi-agent modal language is extended by introduction a new modal …

Existing methods, such as Graph Edit Distance (GED) and Cosine measure, still have
drawback in obtaining similarity of parallel relationships by neglecting the control-flow …

We study a temporal logic with non–standard temporal accessibility relations. This logic is
generated by semantic underground models, and any such a model has a base formed by a …

Under study are the branching time temporal logics with temporal accessibility relations for
the agents different in length and content. We find an algorithm for solving the problems of …

We investigate linear temporal logic LT L _ NT LTL NT with non-transitive time and operators
NEXT and UNTIL, as well as some possible interpretations of logical knowledge operators in …

We study intransitive temporal logic implementing multi-agent's approach and formalizing
knowledge and uncertainty. An innovative point here is usage of non-transitive linear time …