Stefano Baratella

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 7

Top Topics

Guillotine Cutting

Sound And Complete Axiomatization

Top Venues

Arch. Math. Log.

J. Appl. Non Class. Logics

Publications

Stefano Baratella
A finitary outer measure logic. J. Log. Comput. 33 (3) (2023)
Stefano Baratella
An infinitary propositional probability logic. Arch. Math. Log. 62 (3) (2023)
Stefano Baratella, Andrea Masini
A two-dimensional metric temporal logic. Math. Log. Q. 66 (1) (2020)
Stefano Baratella
A completeness theorem for continuous predicate modal logic. Arch. Math. Log. 58 (1-2) (2019)
Stefano Baratella, Andrea Masini
A two-dimensional metric temporal logic. CoRR (2019)
Stefano Baratella
Continuous propositional modal logic. J. Appl. Non Class. Logics 28 (4) (2018)
Stefano Baratella
A predicate extension of real valued logic. Arch. Math. Log. 56 (5-6) (2017)
Stefano Baratella, Domenico Zambella
The Real truth. Math. Log. Q. 61 (1-2) (2015)
Stefano Baratella
A note on infinitary continuous logic. Math. Log. Q. 61 (6) (2015)
Stefano Baratella, Andrea Masini
A natural deduction system for bundled branching time logic. J. Appl. Non Class. Logics 23 (3) (2013)
Stefano Baratella
Quantum coherent spaces and linear logic. RAIRO Theor. Informatics Appl. 44 (4) (2010)
Stefano Baratella, Andrea Masini
A note on unbounded metric temporal logic over dense time domains. Math. Log. Q. 52 (5) (2006)
Stefano Baratella, Andrea Masini
An infinitary variant of Metric Temporal Logic over dense time domains. Math. Log. Q. 50 (3) (2004)
Stefano Baratella, Andrea Masini
A Way of Making World Quantification Explicit. Log. J. IGPL 12 (3) (2004)
Stefano Baratella, Andrea Masini
An approach to infinitary temporal proof theory. Arch. Math. Log. 43 (8) (2004)
Stefano Baratella, Andrea Masini
A proof-theoretic investigation of a logic of positions. Ann. Pure Appl. Log. 123 (1-3) (2003)
Stefano Baratella, Siu-Ah Ng
Consequences of neocompact quantifier elimination. Math. Log. Q. 49 (2) (2003)
Stefano Baratella, Siu-Ah Ng
Neocompact quantifier elimination in structures based on Banach spaces. Ann. Pure Appl. Log. 111 (1-2) (2001)
Stefano Baratella, Stefano Berardi
Approximating Classical Theorems. J. Log. Comput. 8 (6) (1998)
Stefano Baratella, Carlo Toffalori
{\vec Z}C(2)^2-lattices is decidable. Arch. Math. Log. 37 (2) (1998)
Stefano Baratella, Stefano Berardi
A parallel game semantics for Linear Logic. Arch. Math. Log. 36 (3) (1997)
Ruggero Ferro, Stefano Baratella
Non Standard Regular Finite Set Theory. Math. Log. Q. 41 (1995)
Stefano Baratella
A Modal Approach to Negation as Failure Rule. J. Log. Comput. 4 (4) (1994)
Stefano Baratella
A Class of Programs for which SLDNF Resolution and NAF Rule are Complete. Theor. Comput. Sci. 120 (1) (1993)
Ruggero Ferro, Stefano Baratella
A Theory of Sets with the Negation of the Axiom of Inflnity. Math. Log. Q. 39 (1993)
Stefano Baratella
A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses. Theor. Comput. Sci. 97 (1) (1992)
Stefano Baratella
Models of Clark's completion for some classes of logic programs. Fundam. Informaticae 14 (3) (1991)
Stefano Baratella
On Some Properties of Recursively Enumerable Equivalence Relations. Math. Log. Q. 35 (3) (1989)
Stefano Baratella, Gilberto Filé
A completeness result for SLDNF resoultion. Bull. EATCS 35 (1988)