OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Troquard, Nicolas"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.


Lorini, Emiliano and Troquard, Nicolas and Herzig, Andreas and Broersen, Jan. Grounding power on actions and mental attitudes. (2013) Logic Journal of the IGPL, 21 (3). 311-331. ISSN 1367-0751

Conference or Workshop Item

Boudou, Joseph and Herzig, Andreas and Troquard, Nicolas. Resource separation in dynamic logic of propositional assignments. (2019) In: International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), 9 October 2019 - 9 October 2019 (Porto, Portugal).

Balbiani, Philippe and Herzig, Andreas and Troquard, Nicolas. Dynamic logic of propositional assignments : a well-behaved variant of PDL. (2013) In: 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 25 June 2013 - 28 June 2013 (New Orleans, LA, United States).

This list was generated on Mon Jan 25 00:49:56 2021 CET.