Please enable JavaScript.

Coggle requires JavaScript to display documents.

LOGICA TEMPORALE (caso trattato (tempo discreto, c'è istante iniziale …

- - - - F
      - G
    - - S
        insieme di stati
      - x: N -> S
      - L: S -> 2^P
      - semantica
  - - - path formulas
        
        X
        
        U
      - state formulas
        
        logica proposizionale
        
        A: per tutti i cammini
        
        E: esiste un cammino
      - MODELLO
        
        S
        insieme di stati
        
        T
        albero infinito
        
        L: S -> 2^P