Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ricardo Caferra
Linear Temporal Logic and Propositional Schemata, Back and Forth
Combining Enumeration and Deductive Techniques in Order to Increase the Class of Constructible Infinite Models
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Related publications
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
