Alberto Zanardo (zanardo-a)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Badouli, Sylvia and Zanardo, Alberto. 1993. “Plausible Reasoning: A First-Order Approach.” Unpublished manuscript, Department of Mathematics, University of Padova.
Bonotto, Cinzia and Zanardo, Alberto. 1989. “A Non-Compactness Phenomenon in Logics with Hyperintensional Predication.” The Journal of Philosophical Logic 18(4): 383–398.
Concetta Di Maio, Maria and Zanardo, Alberto. 1994. “Synchronized Histories in Prior-Thomason Representation of Branching Time.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 265–282. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Concetta Di Maio, Maria and Zanardo, Alberto. 1996. “A Gabbay-Rule Free Axiomatization of \(T\times W\) Validity.” 27. Padova: Universitá degli Studia di Padova. Journal publication: Concetta Di Maio and Zanardo (1998).
Concetta Di Maio, Maria and Zanardo, Alberto. 1998. “A Gabbay-Rule Free Axiomatization of \(T\times W\) Validity.” The Journal of Philosophical Logic 27(5): 435–487.
Ferro, R., Bonotto, Cinzia, Valentini, Silvio and Zanardo, Alberto, eds. 1989. Logic Colloquium ’88, Proceedings of the Colloquium held in Padova Italy, 22-31 August 1988. Studies in Logic and the Foundations of Mathematics n. 127. Amsterdam: North-Holland Publishing Co.
Zanardo, Alberto. 1985. “A Finite Axiomatization of the Strongly Valid Ockhamist Formulas.” The Journal of Philosophical Logic 14(4): 447–468.
Zanardo, Alberto. 1991. “A Complete Deductive-System for Since-Until Branching Time Logic.” The Journal of Philosophical Logic 20(2): 131–148.
Zanardo, Alberto. 1996. “Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic.” The Journal of Symbolic Logic 61(1): 1–39.
Zanardo, Alberto. 1998a. “Undivided and Indistinguishable Histories in Branching-Time Logics.” Journal of Logic, Language, and Information 7(3): 297–315.
Zanardo, Alberto. 1998b. “Non-Definability of the Class of Complete Bundled Trees.” Unpublished manuscript, Department of Mathematics, University of Padova.