2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2019
Intuitionistic Non-Normal Modal Logics: A general framework
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain…
cs.LO2015★ 2 cited
Indexed linear logic and higher-order model checking
Charles Grellois, Paul-André Melliès
In recent work, Kobayashi observed that the acceptance by an alternating tree automaton A of an infinite tree T generated by a higher-order recursion scheme G may be formulated as…