20 found
Sort by:
  1. Alberto Zanardo (2013). Indistinguishability, Choices, and Logics of Agency. Studia Logica 101 (6):1215-1236.
    This paper deals with structures ${\langle{\bf T}, I\rangle}$ in which T is a tree and I is a function assigning each moment a partition of the set of histories passing through it. The function I is called indistinguishability and generalizes the notion of undividedness. Belnap’s choices are particular indistinguishability functions. Structures ${\langle{\bf T}, I\rangle}$ provide a semantics for a language ${\mathcal{L}}$ with tense and modal operators. The first part of the paper investigates the set-theoretical properties of the set of indistinguishability (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
    In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Alberto Zanardo (2009). Modalities in Temporal Logic of Agency. Humana. Mente 8:1-15.
    No categories
     
    My bibliography  
     
    Export citation  
  4. Alberto Zanardo (2006). Moment/History Duality in Prior's Logics of Branching-Time. Synthese 150 (3):483 - 507.
    The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
    Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Michela Sabbadin & Alberto Zanardo (2003). Topological Aspects of Branching-Time Semantics. Studia Logica 75 (3):271 - 286.
    The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this notion of validity is equivalent to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
    A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Maria Concetta Di Maio & Alberto Zanardo (1998). A Gabbay-Rule Free Axiomatization of T× W Validity. Journal of Philosophical Logic 27 (5):435-487.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Maria Concetta Di Maio & Alberto Zanardo (1998). A Gabbay-Rule Free Axiomatization of T X W Validity. Journal of Philosophical Logic 27 (5):435 - 487.
    The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. Alberto Zanardo (1998). Undivided and Indistinguishable Histories in Branching-Time Logics. Journal of Logic, Language and Information 7 (3):297-315.
    In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Silvana Badaloni & Alberto Zanardo (1996). Plausible Reasoning: A First-Order Approach. Journal of Applied Non-Classical Logics 6 (3):215-261.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Alberto Zanardo (1996). Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic. Journal of Symbolic Logic 61 (1):1-39.
    In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Alberto Zanardo (1992). A Note About the Axioms for Branching-Time Logic. Notre Dame Journal of Formal Logic 33 (2):225-228.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Alberto Zanardo (1991). A Complete Deductive-System for Since-Until Branching-Time Logic. Journal of Philosophical Logic 20 (2):131 - 148.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
    The branching-time logic called Peircean by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Cinzia Bonotto & Alberto Zanardo (1989). A Non-Compactness Phenomenon in Logics with Hyperintensional Predication. Journal of Philosophical Logic 18 (4):383 - 398.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Alberto Zanardo (1986). On the Characterizability of the Frames for the ``Unpreventability of the Present and the Past''. Notre Dame Journal of Formal Logic 27 (4):556-564.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Alberto Zanardo (1985). A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas. Journal of Philosophical Logic 14 (4):447 - 468.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Alberto Zanardo (1984). Individual Concepts as Propositional Variables in ${\Rm ML}^{\Nu+1}$. Notre Dame Journal of Formal Logic 25 (4):332-346.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Alberto Zanardo (1983). On the Equivalence Between the Calculi ${\Rm MC}^\Nu$ and ${\Rm EC}^{\Nu+1}$ of A. Bressan. Notre Dame Journal of Formal Logic 24 (3):367-388.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation