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 -...

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...

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

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

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...