N
Nicolas Troquard
Researcher at Free University of Bozen-Bolzano
Publications - 82
Citations - 1187
Nicolas Troquard is an academic researcher from Free University of Bozen-Bolzano. The author has contributed to research in topics: Dynamic logic (modal logic) & Description logic. The author has an hindex of 16, co-authored 73 publications receiving 1092 citations. Previous affiliations of Nicolas Troquard include National Research Council & Paul Sabatier University.
Papers
More filters
Proceedings ArticleDOI
Knowledge and control
TL;DR: The aim in the present paper is to extend the study of logics of propositional control to settings in which agents have incomplete information about the society they occupy and introduces a logic combining epistemic modalities with the operators of CL-PC.
Proceedings ArticleDOI
Knowing how to play: uniform choices in logics of agency
Andreas Herzig,Nicolas Troquard +1 more
TL;DR: This paper argues that the STIT framework can easily account for uniform strategies and offers a simplification, by introducing a modal logic of knowledge-based uniform agency, for one-step strategies, alias choices.
Journal ArticleDOI
Alternative axiomatics and complexity of deliberative stit theories
TL;DR: It is established that the problem of deciding the satisfiability of a STIT formula without temporal operators is NP- complete in the single-agent case, and is NEXPTIME-complete in the multi agent case, both for the deliberative and Chellas’s STIT.
Proceedings ArticleDOI
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
TL;DR: It is shown that DL-PA behaves better than PDL, having e.g. compactness and eliminability of the Kleene star and both satisfiability and model checking are EXPTIME-complete.
Journal ArticleDOI
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
TL;DR: It is shown that there is a close relationship with more recent logics for multiagent systems, and a translation from ATL to the framework is given, and it is proved that it determines correct embedding.