Alberto Zanardo

According to our database, Alberto Zanardo authored at least 28 papers between 1983 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Structural theory of trees II. Completeness and completions of trees.

Ruaan Kellerman, Alberto Zanardo, Valentin Goranko

Contributions Discret. Math., 2023

Structural theory of trees I. Branching and condensations of trees.

Valentin Goranko, Ruaan Kellerman, Alberto Zanardo

Contributions Discret. Math., 2023

2019

First-Order Definability of Transition Structures.

Antje Rumberg, Alberto Zanardo

J. Log. Lang. Inf., 2019

2013

Indistinguishability, Choices, and Logics of Agency.

Alberto Zanardo

Stud Logica, 2013

2010

Completeness of a Branching-Time Logic with Possible Choices.

Roberto Ciuni, Alberto Zanardo

Stud Logica, 2010

2007

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.

Valentin Goranko, Alberto Zanardo

Log. J. IGPL, 2007

2006

Moment/History Duality in Prior's Logics of Branching-Time.

Alberto Zanardo

Synth., 2006

Quantification over Sets of Possible Worlds in Branching-Time Semantics.

Alberto Zanardo

Stud Logica, 2006

2003

Topological Aspects of Branching-Time Semantics.

Michela Sabbadin, Alberto Zanardo

Stud Logica, 2003

2002

Fibring Modal First-Order Logics: Completeness Preservation.

Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo

Log. J. IGPL, 2002

2001

Fibring: Completeness Preservation.

Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas

J. Symb. Log., 2001

1999

Non-Definability of the Class of Complete Bundled Trees.

Alberto Zanardo, Bruno Barcellan, Mark Reynolds

Log. J. IGPL, 1999

1998

A Gabbay-Rule Free Axiomatization of T×W Validity.

Maria Concetta Di Maio, Alberto Zanardo

J. Philos. Log., 1998

Undivided and Indistinguishable Histories in Branching-Time Logics.

Alberto Zanardo

J. Log. Lang. Inf., 1998

1996

Branching-Time Logic with Quantification over Brances: The Point of View of Modal Logic.

Alberto Zanardo

J. Symb. Log., 1996

Plausible Reasoning: A First-Order Approach.

Silvana Badaloni, Alberto Zanardo

J. Appl. Non Class. Logics, 1996

1994

Synchronized Histories in Prior-Thomason Representation of Branching Time.

Maria Concetta Di Maio, Alberto Zanardo

Proceedings of the Temporal Logic, First International Conference, 1994

1993

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.

Alberto Zanardo, José Carmo

J. Log. Comput., 1993

Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations.

Silvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo

Proceedings of the Advances in Artificial Intelligence, 1993

1992

A Note about the Axioms for Branching-Time Logic.

Alberto Zanardo

Notre Dame J. Formal Log., 1992

1991

A complete deductive-system for since-until branching-time logic.

Alberto Zanardo

J. Philos. Log., 1991

Typicality for Plausible Reasoning.

Silvana Badaloni, Alberto Zanardo

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Axiomatization of 'Peircean' branching-time logic.

Alberto Zanardo

Stud Logica, 1990

1989

A non-compactness phenomenon in logics with hyperintensional predication.

Cinzia Bonotto, Alberto Zanardo

J. Philos. Log., 1989

1986

On the characterizability of the frames for the "unpreventability of the present and the past".

Alberto Zanardo

Notre Dame J. Formal Log., 1986

1985

A finite axiomatization of the set of strongly valid Ockhamist formulas.

Alberto Zanardo

J. Philos. Log., 1985

1984

Individual concepts as propositional variables in ML^ν+1.

Alberto Zanardo

Notre Dame J. Formal Log., 1984

1983

On the equivalence between the calculi MC^ν and EC^ν+1 of A. Bressan.

Alberto Zanardo

Notre Dame J. Formal Log., 1983