We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator (corresponding - semantically - to a binary Kripke relation), while the latter is merely a classical operator (corresponding -...

Рассматривается обзор зарубежных сценарных прогнозов и форсайтов с целью выявления инструментов информационного управления. Выявленные инструменты можно...

Рассматривается обзор зарубежных сценарных прогнозов и форсайтов с целью выявления инструментов информационного управления. Выявленные инструменты можно...

Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying...

We employ a multimodal logic in a decision making mechanism involving trust and reputation. The mechanism is then used in a community of interacting agents which develop cooperative relationships, assess the results against several quality criteria and possibly publish their beliefs inside the...

Despite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description. Most of the formalization approaches to REA use only UML or other graphical representation. This paper aims to define REA...

We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of...