Amanote Research
Register
Sign In
Cyclic Proofs for Linear Temporal Logic
doi 10.1515/9781501502620-011
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Ioannis Kokkinis
Thomas Studer
Publisher
De Gruyter
Related search
Regular Linear-Time Temporal Logic
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
Separation Logic Adapted for Proofs by Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Temporal Logic and Propositional Schemata, Back and Forth
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
On the Expressive Power of Some Extensions of Linear Temporal Logic
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
