Charles Grellois

According to our database, Charles Grellois authored at least 16 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

J. Log. Comput., 2024

2022

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Terminating Calculi and Countermodels for Constructive Modal Logics.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Proof Systems for the Logics of Bringing-It-About.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

On the Termination Problem for Probabilistic Higher-Order Recursive Programs.

Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

Log. Methods Comput. Sci., 2020

Intuitionistic Non-normal Modal Logics: A General Framework.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

J. Philos. Log., 2020

2019

Probabilistic Termination by Monadic Affine Sized Typing.

Ugo Dal Lago, Charles Grellois

ACM Trans. Program. Lang. Syst., 2019

2018

Linearity in higher-order recursion schemes.

Pierre Clairambault, Charles Grellois, Andrzej S. Murawski

Proc. ACM Program. Lang., 2018

2017

Probabilistic Termination by Monadic Affine Sized Typing (Long Version).

Ugo Dal Lago, Charles Grellois

CoRR, 2017

2016

Semantics of linear logic and higher-order model-checking. (Sémantique de la logique linéaire et "model-checking" d'ordre supérieur).

Charles Grellois

PhD thesis, 2016

2015

Tensorial logic with colours and higher-order model checking.

Charles Grellois, Paul-André Melliès

CoRR, 2015

Finitary Semantics of Linear Logic and Higher-Order Model-Checking.

Charles Grellois, Paul-André Melliès

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

An Infinitary Model of Linear Logic.

Charles Grellois, Paul-André Melliès

Proceedings of the Foundations of Software Science and Computation Structures, 2015

Relational Semantics of Linear Logic and Higher-order Model Checking.

Charles Grellois, Paul-André Melliès

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Indexed linear logic and higher-order model checking.

Charles Grellois, Paul-André Melliès

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

2011

Algebraic theories, monads, and arities.

Charles Grellois

CoRR, 2011