Evaluating trust in Multi-Agent Systems (MASs) is of prime importance for the success of
agent-based applications where agents interact and operate in uncertain and dynamic …

Strategy logic (SL) is a powerful temporal logic that enables strategic reasoning in multi-
agent systems. SL supports explicit (first-order) quantification over strategies and provides a …

Coordination and joint ability are important problems in representation and reasoning about
multi-agent systems. Ghaderi et al. presented a formalization of joint ability of coalitions in …

We give a positive solution to the decidability problem for the fragment of set theory, dubbed
BST⊗, consisting of quantifier-free formulae involving the Boolean set operators of union …

Public observation logic (POL) is a variant of dynamic epistemic logic to reason about agent
expectations and agent observations. Agents have certain expectations, regarding the …

Specification and verification of coalitional strategic abilities have been an active research
area in multi-agent systems, artificial intelligence, and game theory. Recently, many strategic …

Reasoning about reachability and concurrency in DEL games Page 1 Reasoning about
reachability and concurrency in DEL games Silvia Stranieri1 1University of Naples Federico II …

Laboratorio ASTREA: Report Attivita Scientifica anno 2021 Page 1 Laboratorio ASTREA:
Report Attivita Scientifica anno 2021 Aniello Murano Universita degli Studi di Napoli Federico …

In this communication we present recent advances in the field of logics for strategic
reasoning, and more precisely about the popular Strategy Logic (SL) in the context of …

We establish the precise complexity of the model-checking problem for the main logics of
knowledge and time. While this problem was known to be non-elementary for agents with …