Nicolas Troquard

Available identifiers

zbMath Open troquard.nicolasMaRDI QIDQ652735

List of research outcomes

Publication	Date of Publication	Type
Tracking and managing deemed abilities	2023-03-31	Paper
Repairing socially aggregated ontologies using axiom weakening	2022-11-02	Paper
Individual resource games and resource redistributions	2022-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5009456	2021-08-04	Paper
Resource separation in dynamic logic of propositional assignments	2021-08-03	Paper
Resource separation in dynamic logic of propositional assignments	2020-07-08	Paper
Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case	2020-02-18	Paper
Non-normal modalities in variants of linear logic	2018-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5283032	2017-07-18	Paper
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL	2017-07-03	Paper
Three Traditions in the Logic of Action: Bringing them Together	2015-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2852085	2013-10-07	Paper
Grounding power on actions and mental attitudes	2013-06-11	Paper
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions	2012-11-02	Paper
On Satisfiability in ATL with Strategy Contexts	2012-09-21	Paper
Reasoning about social choice functions	2011-12-15	Paper
A Dynamic Logic of Institutional Actions	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3003823	2011-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q3400789	2010-02-05	Paper
Model Checking Strategic Equilibria	2009-03-17	Paper
A STIT-Extension of ATL	2008-10-30	Paper
Alternative axiomatics and complexity of deliberative STIT theories	2008-08-20	Paper
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency	2007-04-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicolas Troquard