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 |