1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
On Angels and Demons: Strategic (De)Construction of Dynamic Models
Davide Catta, Rustam Galimullin, Munyque Mittelmann
In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of researc…
cs.LO2025
First-Order Coalition Logic
Davide Catta, Rustam Galimullin, Aniello Murano
We introduce First-Order Coalition Logic (), which combines key intuitions behind Coalition Logic () and Strategy Logic (). Specifically, $…
cs.LO2023★ 1 cited
Reasoning about Intuitionistic Computation Tree Logic
Davide Catta, Vadim Malvone, Aniello Murano
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics c…