A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exn002
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Computation of a Canonical Form for Linear 2D Systems

International Journal of Computational Mathematics
2014English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Cyclic Proofs for Linear Temporal Logic

English

Security Proof of the Canonical Form of Self-Synchronizing Stream Ciphers

Designs, Codes, and Cryptography
CombinatoricsApplied MathematicsComputer Science ApplicationsTheoretical Computer ScienceDiscrete Mathematics
2016English

Regular Linear-Time Temporal Logic

2010English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

On-Line Model-Checking for Finite Linear Temporal Logic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

On the Expressive Power of Some Extensions of Linear Temporal Logic

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2019English

A Semi-Canonical Form for Sequential AIGs

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy