Switch to: Citations

Add references

You must login to add references.
  1. Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   287 citations  
  • Axiomatization of 'Peircean' Branching-Time Logic.Alberto Zanardo - 1990 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
    Direct download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Indeterminist Time and Truth-Value Gaps.Richmond H. Thomason - 1970 - Theoria 36 (3):264-281.
  • The Unreal Future.John P. Burgess - 1978 - Theoria 44 (3):157-179.
    Perhaps if the future existed, concretely and individually, as something that could be discerned by a better brain, the past would not be so seductive: its demands would he balanced by those of the future. Persons might then straddle the middle stretch of the seesaw when considering this or that object. It might be fun. But the future has no such reality (as the pictured past and the perceived present possess); the future is but a figure of speech, a specter (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
  • Moment/History Duality in Prior’s Logics of Branching-Time.Alberto Zanardo - 2006 - 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. 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 dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  • Decidability for Branching Time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.
    The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  • Moment/History Duality in Prior’s Logics of Branching-Time.Alberto Zanardo - 2006 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Quantification Over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Temporal Patterns and Modal Structure.J. van Benthem - 1999 - Logic Journal of the IGPL 7 (1):7-26.
    Temporal logic arose at the border of philosophy and linguistics. From the seventies onward, it because a major tool also in computer science and artificial intelligence, which have turned into the most powerful source of new logical developments since. We discuss some recent themes demonstrating new connections with modal logic. In the course of this, we also point out some new types of open research questions.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic and Time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
  • Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic.Alberto Zanardo - 1996 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • The Decision Problem for Branching Time Logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.
    The theory of trees with additional unary predicates and quantification over nodes and branches embraces a rich branching time logic. This theory was reduced in the companion paper to the first-order theory of binary, bounded, well-founded trees with additional unary predicates. Here we prove the decidability of the latter theory.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
    Translate
     
     
    Export citation  
     
    Bookmark   371 citations  
  • An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames.Dov M. Gabbay - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 67--89.
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations