OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Boudou, Joseph"

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

Article

Balbiani, Philippe and Boudou, Joseph and Diéguez, Martín and Fernández Duque, David. Intuitionistic linear temporal logics. (2019) ACM Transactions on Computational Logic, 21 (2). ISSN 1529-3785

Balbiani, Philippe and Boudou, Joseph. Axiomatization and computability of a variant of iteration-free PDL with fork. (2019) Journal of Logical and Algebraic Methods in Programming, 108. 47-68. ISSN 2352-2208

Balbiani, Philippe and Boudou, Joseph. Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. (2015) Journal of Logic and Computation, 25. 1. ISSN 0955-792X

Conference or Workshop Item

Balbiani, Philippe and Boudou, Joseph. Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. (2018) In: First International Workshop Dynamic Logic. New Trends and Applications (DALI 2017), 23 September 2017 - 24 September 2017 (Brasilia, Brazil).

Boudou, Joseph and Lorini, Emiliano. Concurrent Game Structures for Temporal STIT Logic. (2018) In: 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 11 July 2018 - 13 July 2018 (Stockholm, Sweden).

Boudou, Joseph. Decidable Logics with Associative Binary Modalities. (2017) In: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 20 August 2017 - 24 August 2017 (Stockholm, Sweden).

Boudou, Joseph. Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. (2016) In: International Joint Conference on Automated Reasoning (IJCAR 2016), 27 June 2016 - 2 July 2016 (Coimbra, Portugal).

Boudou, Joseph and Lorini, Emiliano. Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. (2016) In: 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), 9 November 2016 - 11 November 2016 (Larnaca, Cyprus).

Boudou, Joseph. Exponential-Size Model Property for PDL with Separating Parallel Composition. (2015) In: Mathematical Foundations of Computer Science (MFCS 2015), 24 August 2015 - 28 August 2015 (Milan, Italy).

Balbiani, Philippe and Boudou, Joseph. Tableaux methods for propositional dynamic logics with separating parallel composition. (2015) In: International Conference on Automated Deduction (CADE 2015), 1 August 2015 - 7 August 2015 (Berlin, Germany).

Boudou, Joseph and Woltzenlogel Paleo, Bruno. Compression of Propositional Resolution Proofs by Lowering Subproofs. (2013) In: 22nd International Conference TABLEAUX : Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2013, 16 September 2013 - 19 September 2013 (Nancy, France).

This list was generated on Thu Aug 6 16:00:58 2020 CEST.