Dylan Bellier | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Fabio Mogavero
9 publications
Massimo Benerecetti
7 publications
Dario Della Monica
6 publications

research

∙ 04/23/2023

Alternating (In)Dependence-Friendly Logic

Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...

0 Dylan Bellier, et al. ∙

research

∙ 04/13/2021

Good-for-Game QPTL: An Alternating Hodges Semantics

An extension of QPTL is considered where functional dependencies among t...

0 Dylan Bellier, et al. ∙

Success!

An error occurred