A Logical Approach to CTL - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2014

A Logical Approach to CTL

Résumé

We introduce a notion of proof for CTL with respect to a given nite model and show some advantages of using such a notion. This also suggests to de ne a slight extension of CTL, called SCTL, where predicates can have an arbitrary arity.
Fichier principal
Vignette du fichier
ctl.pdf (165.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00919467 , version 1 (17-01-2014)

Identifiants

  • HAL Id : hal-00919467 , version 1

Citer

Gilles Dowek, Ying Jiang. A Logical Approach to CTL. 2014. ⟨hal-00919467⟩

Collections

INRIA INRIA2
92 Consultations
94 Téléchargements

Partager

More