Epistemic logic has become a major field of philosophical logic ever since the
groundbreaking work by Hintikka [58]. Despite its various successful applications in …

Artifact systems are a novel paradigm for specifying and implementing business processes
described in terms of interacting modules called artifacts. Artifacts consist of data 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 …

Bundled products are often offered as good deals to customers. In first-order modal logic
(FOML), when we bundle quantifiers and modalities together (as in∃ x□,◇∀ x, etc.), we …

Quantified modal logic provides a natural logical language for reasoning about modal
attitudes even while retaining the richness of quantification for referring to predicates over …

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 …