Alberto Zanardo

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 3

Top Topics

Tree Construction

Top Venues

Contributions Discret. Math.

J. Log. Lang. Inf.

Publications

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