Logic for coalitions with bounded resources

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However, there is no natural way of expressing resource requirements in these logics. In this article, we present a Resource-Bounded Coalition Logic (RBCL) that has explicit representation of resource bounds in the language. We give a complete and sound axiomatization of RBCL, a procedure for deciding satisfiability of RBCL formulas, and a model-checking algorithm. © 2010 The Author

A model of organizing activities for training metacognitive skills for primary education students in Mathematics teaching methodology courses

Metacognition is defined as a person’s ability to control their own cognitive processes, including knowledge of cognitive processes and the orientating, monitoring, revising, and evaluating of cognitive activities involved as needed. The paper proposes a model of organizing activities for training metacognitive skills for primary education students in Mathematics teaching methodology courses

Decidable model-checking for a resource logic with production of resources

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the model-checking problem for several standard logics, such as Resource-Bounded Coalition Logic (RB-CL) and Resource-Bounded Alternating-Time Temporal Logic (RB-ATL) is decidable. However, for coalition logics with unbounded resource production and consumption, only some undecidability results are known. In this paper, we show that the model-checking problem for RB-ATL with unbounded production and consumption of resources is decidable