Concepedia

Alberto Zanardo

AZ

Statistics

Publications

10

Citations

298

H-Index

10

Active since

1985

Affiliations

University of Padua(Current)

Centro di Ricerca in Matematica Pura ed Applicata

Alberto Zanardo is an author at University of Padua specializing in logic, model theory, and mathematics.

Publications per year

1985–2010

10

Publications

10

Branching-time logic with quantification over branches: The point of view of modal logic

Alberto Zanardo · Journal of Symbolic Logic · 1996 · 78 citations

, , +16

Fibring: completeness preservation

Alberto Zanardo, Amı́lcar Sernadas, Cristina Sernadas · Journal of Symbolic Logic · 2001 · 65 citations

, , +7

A finite axiomatization of the set of strongly valid Ockhamist formulas

Alberto Zanardo · Journal of Philosophical Logic · 1985 · 42 citations

, , +10

Axiomatization of ?Peircean? branching-time logic

Alberto Zanardo · Studia Logica · 1990 · 20 citations

, , +9

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

Alberto Zanardo · Journal of Philosophical Logic · 1991 · 19 citations

, , +13

1–5 of 10