Stefano Baratella

31 papers Journal 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
Results in model theory for Riesz-valued structures.
Arch. Math. Log.
Stefano Baratella
2025 J jnl
On the weak completeness of a fragment of linear temporal logic.
J. Log. Comput.
Stefano Baratella
2023 J jnl
A finitary outer measure logic.
J. Log. Comput.
Stefano Baratella
2023 J jnl
An infinitary propositional probability logic.
Arch. Math. Log.
Stefano Baratella
2020 J jnl
A two-dimensional metric temporal logic.
Math. Log. Q.
Stefano Baratella, Andrea Masini
2019 J jnl
A completeness theorem for continuous predicate modal logic.
Arch. Math. Log.
Stefano Baratella
2019 J jnl
A two-dimensional metric temporal logic.
CoRR
Stefano Baratella, Andrea Masini
2018 J jnl
Continuous propositional modal logic.
J. Appl. Non Class. Logics
Stefano Baratella
2017 J jnl
A predicate extension of real valued logic.
Arch. Math. Log.
Stefano Baratella
2015 J jnl
A note on infinitary continuous logic.
Math. Log. Q.
Stefano Baratella
2015 J jnl
The Real truth.
Math. Log. Q.
Stefano Baratella, Domenico Zambella
2013 J jnl
A natural deduction system for bundled branching time logic.
J. Appl. Non Class. Logics
Stefano Baratella, Andrea Masini
2010 J jnl
Quantum coherent spaces and linear logic.
RAIRO Theor. Informatics Appl.
Stefano Baratella
2006 J jnl
A note on unbounded metric temporal logic over dense time domains.
Math. Log. Q.
Stefano Baratella, Andrea Masini
2004 J jnl
A Way of Making World Quantification Explicit.
Log. J. IGPL
Stefano Baratella, Andrea Masini
2004 J jnl
An approach to infinitary temporal proof theory.
Arch. Math. Log.
Stefano Baratella, Andrea Masini
2004 J jnl
An infinitary variant of Metric Temporal Logic over dense time domains.
Math. Log. Q.
Stefano Baratella, Andrea Masini
2003 J jnl
A proof-theoretic investigation of a logic of positions.
Ann. Pure Appl. Log.
Stefano Baratella, Andrea Masini
2003 J jnl
Consequences of neocompact quantifier elimination.
Math. Log. Q.
Stefano Baratella, Siu-Ah Ng
2001 J jnl
Neocompact quantifier elimination in structures based on Banach spaces.
Ann. Pure Appl. Log.
Stefano Baratella, Siu-Ah Ng
1998 J jnl
Approximating Classical Theorems.
J. Log. Comput.
Stefano Baratella, Stefano Berardi
1998 J jnl
The theory of [(
Arch. Math. Log.
Stefano Baratella, Carlo Toffalori
1997 J jnl
A parallel game semantics for Linear Logic.
Arch. Math. Log.
Stefano Baratella, Stefano Berardi
1995 J jnl
Non Standard Regular Finite Set Theory.
Math. Log. Q.
Ruggero Ferro, Stefano Baratella
1994 J jnl
A Modal Approach to Negation as Failure Rule.
J. Log. Comput.
Stefano Baratella
1993 J jnl
A Class of Programs for which SLDNF Resolution and NAF Rule are Complete.
Theor. Comput. Sci.
Stefano Baratella
1993 J jnl
A Theory of Sets with the Negation of the Axiom of Inflnity.
Math. Log. Q.
Ruggero Ferro, Stefano Baratella
1992 J jnl
A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses.
Theor. Comput. Sci.
Stefano Baratella
1991 J jnl
Models of Clark's completion for some classes of logic programs.
Fundam. Informaticae
Stefano Baratella
1989 J jnl
On Some Properties of Recursively Enumerable Equivalence Relations.
Math. Log. Q.
Stefano Baratella
1988 J jnl
A completeness result for SLDNF resoultion.
Bull. EATCS
Stefano Baratella, Gilberto Filé