Search the dblp DataBase

Publications of Author

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