Amanote Research
Register
Sign In
Linear Temporal Logic and Propositional Schemata, Back and Forth
doi 10.1109/time.2011.11
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2011
Authors
Vincent Aravantinos
Ricardo Caferra
Nicolas Peltier
Publisher
IEEE
Related search
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
Journal of Applied Non-Classical Logics
Philosophy
Logic
Regular Linear-Time Temporal Logic
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Signaling Back and Forth for Cartilage
Science
Multidisciplinary
Philosophy of Science
History
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
Cyclic Proofs for Linear Temporal Logic
The Axiomatization of Propositional Logic
Formalized Mathematics
Computational Mathematics
Applied Mathematics
