package coq-cds4ltl

  1. Overview
  2. No Docs
A Calculational Deductive System for Linear Temporal Logic

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. J
    John Wiegley

Maintainers

  1. J
    johnw@newartisans.com

Sources

1.0.0.tar.gz
sha256=7a0beafad11ca48775e404cabe25e5790d2c7ea59ef84aadf191a5e2d5b6e76a

Description

An axiomatic and denotational formalization of the theorems described by the paper: A Calculational Deductive System for Linear Temporal Logic (CDS4LTL).

Tags

keyword: temporal logic category: Mathematics/Logic/Modal logic date: 2022-07-23 logpath: CDS4LTL

Published: 23 Jul 2022

Dependencies

None

Dev Dependencies (1)

  1. coq (>= "8.14" & < "8.17~") | (= "dev")

Used by

None

Conflicts

None