2 papers
cs.LO2018
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…