8 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LO2018★ 1 cited
Some model theory for the modal -calculus: syntactic characterisations of semantic properties
Gaëlle Fontaine, Yde Venema
This paper contributes to the theory of the modal -calculus by proving some model-theoretic results. More in particular, we discuss a number of semantic properties pertaining to…
cs.LO2016
Cycle Detection in Computation Tree Logic
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano +2
Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision prob…
cs.DB2015★ 8 cited
Expressive Path Queries on Graph with Data
Pablo Barcelo, Gaelle Fontaine, Anthony Widjaja Lin
Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases…