research
∙
07/30/2020
Reasoning about strategies on collapsible pushdown arenas with imperfect information
Strategy Logic with imperfect information (SLiR) is a very expressive lo...
share
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
01/20/2020
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...
research
∙
08/07/2019
Dealing with imperfect information in Strategy Logic
We propose an extension of Strategy Logic (SL), in which one can both re...
research
∙
05/29/2019
Reachability Games in Dynamic Epistemic Logic
We define reachability games based on Dynamic Epistemic Logic (DEL), whe...
research
∙
05/27/2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of on-going b...
research
∙
01/14/2019
Monadic Second Order Logic with Path-Measure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
research
∙
05/31/2018
Reasoning about Knowledge and Strategies under Hierarchical Information
Two distinct semantics have been considered for knowledge in the context...
research
∙
05/31/2018
Reasoning about Knowledge and Strategies
Two distinct semantics have been considered for knowledge in the context...
research
∙
05/31/2018
Strategy Logic with Imperfect Information
We introduce an extension of Strategy Logic for the imperfect-informatio...
research
∙
05/31/2018
Decidability results for ATL* with imperfect information and perfect recall
Alternating-time Temporal Logic (ATL*) is a central logic for multiagent...
research
∙
05/17/2018