A Logical Approach to CTL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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
80 Consultations
71 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More