Search results for 'Tense (Logic' (try it on Scholar)

303 found
Order:
  1.  30
    M. J. Cresswell (2013). Predicate Metric Tense Logic for 'Now' and 'Then'. Journal of Philosophical Logic 42 (1):1-24.
    In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  19
    Ulrich Meyer (2009). Times in Tense Logic. Notre Dame Journal of Formal Logic 50 (2):201--19.
    This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  3.  87
    Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
    According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  73
    M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
    The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  3
    Seiki Akama, Tetsuya Murai & Yasuo Kudo (forthcoming). Partial and Paraconsistent Approaches to Future Contingents in Tense Logic. Synthese:1-11.
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  20
    Frank Wolter (1997). A Note on the Interpolation Property in Tense Logic. Journal of Philosophical Logic 26 (5):545-551.
    It is proved that all bimodal tense logics which contain the logic of the weak orderings and have unbounded depth do not have the interpolation property.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  7.  22
    Thomas Ploug & Peter Øhrstrøm (2012). Branching Time, Indeterminism and Tense Logic. Synthese 188 (3):367-379.
    This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  8.  5
    Frank Wolter (1996). Tense Logic Without Tense Operators. Mathematical Logic Quarterly 42 (1):145-171.
    We shall describe the set of strongly meet irreducible logics in the lattice ϵLin.t of normal tense logics of weak orderings. Based on this description it is shown that all logics in ϵLin.t are independently axiomatizable. Then the description is used in order to investigate tense logics with respect to decidability, finite axiomatizability, axiomatization problems and completeness with respect to Kripke semantics. The main tool for the investigation is a translation of bimodal formulas into a language talking about (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  4
    M. J. Cresswell (forthcoming). Prior on the Semantics of Modal and Tense Logic. Synthese:1-17.
    In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  20
    Lennart Åqvist (1979). A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic. Journal of Philosophical Logic 8 (1):1 - 45.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  8
    Yan Zhang & Kai Li (2015). Decidability of Logics Based on an Indeterministic Metric Tense Logic. Studia Logica 103 (6):1123-1162.
    This paper presents two general results of decidability concerning logics based on an indeterministic metric tense logic, which can be applied to, among others, logics combining knowledge, time and agency. We provide a general Kripke semantics based on a variation of the notion of synchronized Ockhamist frames. Our proof of the decidability is by way of the finite frame property, applying subframe transformations and a variant of the filtration technique.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  16
    Lennart Åqvist (2014). Deontic Tense Logic With Historical Necessity, Frame Constants, and a Solution to the Epistemic Obligation Paradox. Theoria 80 (4):319-349.
    In an earlier paper by the author, Åqvist , I presented an approach to the logic of historical necessity, or inevitability, in the sense of a “two-dimensional” combination of tense and modal logic for worlds, or histories, with the same time order, known as T × W logic. Distinctive features of that approach were, apart from its two-dimensionality, its being based on discrete and finite time, and its use of so-called systematic frame constants in order to enable us to (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  13.  40
    Max A. Freund (2007). A Two Dimensional Tense-Modal Sortal Logic. Journal of Philosophical Logic 36 (5):571 - 598.
    We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  37
    Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior's Reconstruction. Studia Logica 92 (1):85 - 108.
    In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Patrick Blackburn & Klaus Frovin Jørgensen (forthcoming). Reichenbach, Prior and Hybrid Tense Logic. Synthese:1-13.
    In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  18
    Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
    In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  17.  10
    Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
    Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  30
    Lennart Åqvist (1996). Discrete Tense Logic with Infinitary Inference Rules and Systematic Frame Constants: A Hilbert-Style Axiomatization. [REVIEW] Journal of Philosophical Logic 25 (1):45 - 100.
    The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  19.  3
    Fabio Bellissima & Anna Bucalo (1995). A Distinguishable Model Theorem for the Minimal US-Tense Logic. Notre Dame Journal of Formal Logic 36 (4):585-594.
    A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  42
    Thomas Pashby (2015). Taking Times Out: Tense Logic as a Theory of Time. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 50:13-18.
    Ulrich Meyer's book The Nature of Time uses tense logic to argue for a `modal' view of time, which replaces substantial times with `ersatz times' constructed using conceptually basic tense operators. He also argues against Bertrand Russell's relationist theory, in which times are classes of events, and against the idea that relativity compels the integration of time and space. I find fault with each of these negative arguments, as well as with Meyer's purported reconstruction of empty spacetime from (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  21.  85
    Meghan Sullivan (2012). Problems for Temporary Existence in Tense Logic. Philosophy Compass 7 (1):43-57.
    A‐theorists of time postulate a deep distinction between the present, past and future. Settling on an appropriate logic for such a view is no easy matter. This Philosophy Compass article describes one of the most vexing formal problems facing A‐theorists. It is commonly thought that A‐theories can only be formally expressed in a tense logic: a logic with operators like P and F . And it seems natural to think that we live in a world where objects come to (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  22.  26
    Patrick Blackburn (1994). Tense, Temporal Reference, and Tense Logic. Journal of Semantics 11 (1-2):83-101.
    This paper examines extensions of Priorean tense logic in which reference to rimes is possible. The key technical idea is to sort the atomic symbols of Prior's language and to impose different interpretational restrictions on the different sorts. Among the sorts introduced are nominals (which permit Reichenbachian analyses of tense and tense-in-texts to be reconstructed in tense logic) and sorts which mimic temporal indexicals and calendar terms. The possibilities raised by sorting richer systems are briefly discussed.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  23.  33
    R. A. Bull (1970). An Approach to Tense Logic. Theoria 36 (3):282-300.
    The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  24.  48
    Graham Priest (1982). To Be and Not to Be: Dialectical Tense Logic. Studia Logica 41 (2-3):249 - 268.
    The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to p being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  25. James Harrington, Tense Logic in Einstein-Minkowski Space-Time.
    This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of proper time. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significance of future contingency in special relativity. The framework for future contingents developed here involves the dual falsehood of non-logical contraries, only one (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  26.  9
    Ulrich Meyer (2015). Tense Logic. Philosophy Compass 10 (6):406-419.
    This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27.  59
    Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.
    We consider a version of so called T x W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of systematic (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  11
    J. Butterfield (1987). Predicate modifiers in tense logic. Logique Et Analyse 30 (17):31.
    We explain two ways of revising a tense logic like kripke's (1963) modal logic by adding predicate modifiers. first we show that modifiers allow us to render valid some mixing formulas--conditionals reversing the order of a quantifier and an operator--within a complete bivalent system. then we show how modifiers enable a tense logic to give analyses close to the surface form for sentences with temporal qualifications of singular terms, e.g., 'toby was fatter then than william is today'.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  18
    Meghan Sullivan (2012). Teaching & Learning Guide For: Problems with Temporary Existence in Tense Logic. Philosophy Compass 7 (4):290-292.
    This guide accompanies the following article: Meghan Sullivan, ‘Problems with Temporary Existence in Tense Logic’. Philosophy Compass 7/1 : 43–57. doi: 10.1111/j.1747‐9991.2011.00457.xAuthor’s IntroductionOver the past century, there has been considerable debate over whether and how anything changes with respect to existence. Most A‐theorists of time think things come to exist or cease to exist. B‐theorists of time think objects do not change with respect to existence. In my Compass article, I outline a serious difficulty that A‐theorists face in trying (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  30.  11
    Per F. V. Hasle (2012). The Problem of Predestination: As a Prelude to A. N. Prior's Tense Logic. [REVIEW] Synthese 188 (3):331-347.
    Arthur Norman Prior's early theological writings have been relatively neglected for many years. Moreover, to the extent that they have been discussed at all they have been treated mainly as youthful work quite separate from Prior's later work as a philosopher and logician. However, as interest in Prior's achievements has been growing significantly in recent years it has become more important to investigate the development with his overall work. In fact, Prior's putatively "youthful" theological work overlapped his work as a (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  31.  20
    Miguel Leith & Jim Cunningham (2001). Aspect and Interval Tense Logic. Linguistics and Philosophy 24 (3):331-381.
    Linguistic phenomena of tense and aspect have been investigated in a great deal of theoretical work in linguistics, philosophy and computer science. Modern tense logics, established by Prior, are part of this effort. Point tense logics offer an intuitive representation of tense but lack the expressiveness to represent many aspectual structures. Interval tense logics offer more expressiveness but in the general case can be computationally intractable. From a linguistic perspective there is the problem of precisely (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  32. Jack Copeland, Tree Formulations of Tense Logic.
    The tense tree method extends Jeffrey’s well-known formulation of classical propositional logic to tense logic (Jeffrey 1991).1 Tense trees combine pure tense logic with features of Prior’s U-calculi (where ‘U’ is the earlier-than relation; see Prior 1967 and the Introduction to this volume). The tree method has a number of virtues: trees are well suited to computational applications; semantically, the tree systems presented here are no less illuminating than model theory; the metatheory associated with tree formulations (...)
     
    Export citation  
     
    My bibliography  
  33. Marthe Atwater Chandler (1980). Philosophical Issues in Tense Logic. Dissertation, University of Illinois at Chicago
    The last chapter examines the tense system used by ordinarily competent speakers of English to discuss past, present, and future events, actual and possible events, and various combinations of these. I present a systematic method for translating English sentences containing certain compound verb tenses and embedded tense constructions into a logical language using tense operators. Finally I show how the usual semantics for these operators reflects the truth conditions of the original English sentences. I argue, however, that (...)
     
    Export citation  
     
    My bibliography  
  34. Robert P. Mcarthur (1980). Tense Logic. Journal of Symbolic Logic 45 (1):184-185.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  35.  38
    Stefan Wölfl (1999). Combinations of Tense and Modality for Predicate Logic. Journal of Philosophical Logic 28 (4):371-398.
    In recent years combinations of tense and modality have moved intothe focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  36.  7
    Frank Wolter (1996). A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37 (2):167-173.
    We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37. John A. Nerbonne (1984). German Temporal Semantics Three-Dimensional Tense Logic and a Gpsg Fragment.
     
    Export citation  
     
    My bibliography   1 citation  
  38.  4
    K. Tanaka (1998). To Be Something and Something Else: Dialetheic Tense Logic. Logique Et Analyse 16:189-202.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. Nino Cocchiarella (1974). Tense Logic a Study of Temporal Reference. University Microfilms International.
     
    Export citation  
     
    My bibliography  
  40. Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior’s Reconstruction. Studia Logica 92 (1):85-108.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  6
    Patrick Blackburn (1992). Nominal Tense Logic. Notre Dame Journal of Formal Logic 34 (1):56-83.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  42.  11
    Dov M. Gabbay (1981). Expressive Functional Completeness in Tense Logic (Preliminary Report). In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht 91--117.
  43.  11
    Richmond H. Thomason (1981). Deontic Logic as Founded on Tense Logic. In Risto Hilpinen (ed.), New Studies in Deontic Logic. 165--176.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  44.  6
    Yde Venema (1990). Expressiveness and Completeness of an Interval Tense Logic. Notre Dame Journal of Formal Logic 31 (4):529-547.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  45.  17
    I. L. Humberstone (1979). Interval Semantics for Tense Logic: Some Remarks. [REVIEW] Journal of Philosophical Logic 8 (1):171 - 196.
  46.  20
    S. K. Thomason (1974). Reduction of Tense Logic to Modal Logic. I. Journal of Symbolic Logic 39 (3):549-551.
  47.  14
    John P. Burgess (1982). Axioms for Tense Logic. I. ``Since'' and ``Until''. Notre Dame Journal of Formal Logic 23 (4):367-374.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  48.  3
    Lennart Åqvist & Jaap Hoepelman (1981). Some Theorems About a “Tree” System of Deontic Tense Logic. In Risto Hilpinen (ed.), New Studies in Deontic Logic. 187--221.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  49.  9
    John P. Burgess (1982). Axioms for Tense Logic. II. Time Periods. Notre Dame Journal of Formal Logic 23 (4):375-383.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  50.  7
    Wolfgang Rautenberg (1979). More About the Lattice of Tense Logic. Bulletin of the Section of Logic 8 (1):21-25.
1 — 50 / 303