| Copyright | (c) Klaus Hartke, Uni Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Temporal.Logic_Temporal
Description
Instance of class Logic for temporal logic Also the instances for Syntax and Category.
Documentation
data Temporal
Lid for termporal logic
Constructors
| Temporal |
Instances
| Show Temporal | |
| Language Temporal | Instance of Language for temporal logic |
| Sentences Temporal FORMULA Sign Morphism Symbol | Instance of Sentences for temporal logic |
| Syntax Temporal BASIC_SPEC Symbol () () | Syntax of Temporal logic |
| StaticAnalysis Temporal BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol | Static Analysis for propositional logic |
| Logic Temporal () BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol () | Instance of Logic for propositional logc |