This study introduces a novel computational framework integrating monadic second-order
temporal logic (MSOTL) with hypergraph models to enhance the predictive analysis and …

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 …

We prove that a propositional Linear Temporal Logic with Until and Next (LTL) has unitary
unification. Moreover, for every unifiable in LTL formula A there is a most general projective …

Organizations today are faced with the difficult challenge of balancing the embrace of new
and emerging technology, and securing their systems and data that support critical business …

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 unification problem and problem of admissibility for inference rules in minimal
Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the …

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 projectivity in temporal linear logic LTL with the aim to solve unification problem.
Earlier it was shown that not all formulas unifiable in LTL are projective. Therefore here we …

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 …

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a
single finite algebra, or equivalently, the quasiequational and universal theories of their free …