A Logical Approach to CTL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

A Logical Approach to CTL

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00919467 , version 1

Cite

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

Collections

INRIA INRIA2
75 View
60 Download

Share

Gmail Facebook Twitter LinkedIn More