We study a linear temporal logic LTLNT with non-transitive time (with NEXT and UNTIL) and
possible interpretations for logical knowledge operations in this approach. We assume time …

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 …

Abstract Our paper studies Chance Discovery (CD) in terms of temporal multi-agent logic.
Prime question is how to express most essential properties of CD in terms of temporal …

This paper considers AI problems concerning reasoning in multi-agent environment. We
introduce and study multi-agents' non-linear temporal logic \bfTS4^U_K_n based on …

This paper studies an interpretation of the Chance Discovery (CD) as the unification problem
in the linear modal logic S 4.3. We prove that any formula unifiable in S 4.3 has a most …

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 …