Alberto Zanardo

28 papers Journal 25Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Structural theory of trees I. Branching and condensations of trees.
Contributions Discret. Math.
Valentin Goranko, Ruaan Kellerman, Alberto Zanardo
2023 J jnl
Structural theory of trees II. Completeness and completions of trees.
Contributions Discret. Math.
Ruaan Kellerman, Alberto Zanardo, Valentin Goranko
2019 J jnl
First-Order Definability of Transition Structures.
J. Log. Lang. Inf.
Antje Rumberg, Alberto Zanardo
2013 J jnl
Indistinguishability, Choices, and Logics of Agency.
Stud Logica
Alberto Zanardo
2010 J jnl
Completeness of a Branching-Time Logic with Possible Choices.
Stud Logica
Roberto Ciuni, Alberto Zanardo
2007 J jnl
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
Log. J. IGPL
Valentin Goranko, Alberto Zanardo
2006 J jnl
Moment/History Duality in Prior's Logics of Branching-Time.
Synth.
Alberto Zanardo
2006 J jnl
Quantification over Sets of Possible Worlds in Branching-Time Semantics.
Stud Logica
Alberto Zanardo
2003 J jnl
Topological Aspects of Branching-Time Semantics.
Stud Logica
Michela Sabbadin, Alberto Zanardo
2002 J jnl
Fibring Modal First-Order Logics: Completeness Preservation.
Log. J. IGPL
Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
2001 J jnl
Fibring: Completeness Preservation.
J. Symb. Log.
Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas
1999 J jnl
Non-Definability of the Class of Complete Bundled Trees.
Log. J. IGPL
Alberto Zanardo, Bruno Barcellan, Mark Reynolds
1998 J jnl
A Gabbay-Rule Free Axiomatization of T×W Validity.
J. Philos. Log.
Maria Concetta Di Maio, Alberto Zanardo
1998 J jnl
Undivided and Indistinguishable Histories in Branching-Time Logics.
J. Log. Lang. Inf.
Alberto Zanardo
1996 J jnl
Branching-Time Logic with Quantification over Brances: The Point of View of Modal Logic.
J. Symb. Log.
Alberto Zanardo
1996 J jnl
Plausible Reasoning: A First-Order Approach.
J. Appl. Non Class. Logics
Silvana Badaloni, Alberto Zanardo
1994 — conf
Synchronized Histories in Prior-Thomason Representation of Branching Time.
ICTL
Maria Concetta Di Maio, Alberto Zanardo
1993 — conf
Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations.
AI*IA
Silvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo
1993 J jnl
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.
J. Log. Comput.
Alberto Zanardo, José Carmo
1992 J jnl
A Note about the Axioms for Branching-Time Logic.
Notre Dame J. Formal Log.
Alberto Zanardo
1991 J jnl
A complete deductive-system for since-until branching-time logic.
J. Philos. Log.
Alberto Zanardo
1991 — conf
Typicality for Plausible Reasoning.
AI*IA
Silvana Badaloni, Alberto Zanardo
1990 J jnl
Axiomatization of 'Peircean' branching-time logic.
Stud Logica
Alberto Zanardo
1989 J jnl
A non-compactness phenomenon in logics with hyperintensional predication.
J. Philos. Log.
Cinzia Bonotto, Alberto Zanardo
1986 J jnl
On the characterizability of the frames for the "unpreventability of the present and the past".
Notre Dame J. Formal Log.
Alberto Zanardo
1985 J jnl
A finite axiomatization of the set of strongly valid Ockhamist formulas.
J. Philos. Log.
Alberto Zanardo
1984 J jnl
Individual concepts as propositional variables in ML
Notre Dame J. Formal Log.
Alberto Zanardo
1983 J jnl
On the equivalence between the calculi MC
Notre Dame J. Formal Log.
Alberto Zanardo