The following pages link to Nicolas Troquard (Q652735):
Displayed 23 items.
- Reasoning about social choice functions (Q652736) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Repairing socially aggregated ontologies using axiom weakening (Q2092516) (← links)
- Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case (Q2296724) (← links)
- Tracking and managing deemed abilities (Q2695376) (← links)
- (Q2852085) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- (Q3003823) (← links)
- A Dynamic Logic of Institutional Actions (Q3092309) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- (Q3400789) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)
- A STIT-Extension of ATL (Q3533122) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Grounding power on actions and mental attitudes (Q4925175) (← links)
- Three Traditions in the Logic of Action: Bringing them Together (Q4982652) (← links)
- (Q5009456) (← links)
- Individual resource games and resource redistributions (Q5028297) (← links)
- Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (Q5271051) (← links)
- (Q5283032) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5896086) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)