| 2007 |
|---|
| 14 | EE | Valentin Goranko,
Alberto Zanardo:
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
Logic Journal of the IGPL 15(1): 53-76 (2007) |
| 2006 |
|---|
| 13 | EE | Alberto Zanardo:
Quantification over Sets of Possible Worlds in Branching-Time Semantics.
Studia Logica 82(3): 379-400 (2006) |
| 2003 |
|---|
| 12 | EE | Michela Sabbadin,
Alberto Zanardo:
Topological Aspects of Branching-Time Semantics.
Studia Logica 75(3): 271-286 (2003) |
| 2002 |
|---|
| 11 | EE | Amílcar Sernadas,
Cristina Sernadas,
Alberto Zanardo:
Fibring Modal First-Order Logics: Completeness Preservation.
Logic Journal of the IGPL 10(4): 413-451 (2002) |
| 2001 |
|---|
| 10 | | Alberto Zanardo,
Amílcar Sernadas,
Cristina Sernadas:
Fibring: Completeness Preservation.
J. Symb. Log. 66(1): 414-439 (2001) |
| 1999 |
|---|
| 9 | EE | Alberto Zanardo,
Bruno Barcellan,
Mark Reynolds:
Non-Definability of the Class of Complete Bundled Trees.
Logic Journal of the IGPL 7(1): 125-136 (1999) |
| 1998 |
|---|
| 8 | | Alberto Zanardo:
Undivided and Indistinguishable Histories in Branching-Time Logics.
Journal of Logic, Language and Information 7(3): 297-315 (1998) |
| 1996 |
|---|
| 7 | | Alberto Zanardo:
Branching-Time Logic with Quantification over Brances: The Point of View of Modal Logic.
J. Symb. Log. 61(1): 1-39 (1996) |
| 6 | | Silvana Badaloni,
Alberto Zanardo:
Plausible Reasoning: A First-Order Approach.
Journal of Applied Non-Classical Logics 6(3): (1996) |
| 1994 |
|---|
| 5 | | Maria Concetta Di Maio,
Alberto Zanardo:
Synchronized Histories in Prior-Thomason Representation of Branching Time.
ICTL 1994: 265-282 |
| 1993 |
|---|
| 4 | | Silvana Badaloni,
Enrico Pagello,
L. Stocchiero,
Alberto Zanardo:
Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations.
AI*IA 1993: 290-301 |
| 3 | | Alberto Zanardo,
José Carmo:
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.
J. Log. Comput. 3(3): 249-268 (1993) |
| 1992 |
|---|
| 2 | | Alberto Zanardo:
A Note about the Axioms for Branching-Time Logic.
Notre Dame Journal of Formal Logic 33(2): 225-228 (1992) |
| 1991 |
|---|
| 1 | | Silvana Badaloni,
Alberto Zanardo:
Typicality for Plausible Reasoning.
AI*IA 1991: 470-474 |
