Switch to: References

Citations of:

Temporal Logic

New York: Springer Verlag (1971)

Add citations

You must login to add citations.
  1. On Some Ascending Chains of Brouwerian Modal Logics.Michael J. White - 1981 - Studia Logica 40 (1):75-87.
    This paper specifies classes of framesmaximally omnitemporally characteristic for Thomas' normal modal logicT 2 + and for each logic in the ascending chain of Segerberg logics investigated by Segerberg and Hughes and Cresswell. It is shown that distinct a,scending chains of generalized Segerberg logics can be constructed from eachT n + logic (n 2). The set containing allT n + and Segerberg logics can be totally- (linearly-) ordered but not well-ordered by the inclusion relation. The order type of this ordered (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Back to the actual future.Jacek Wawer & Alex Malpass - 2020 - Synthese 197 (5):2193-2213.
    The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Cans, Advantages, and Possible Worlds.Douglas N. Walton - 1984 - Philosophia 14 (1-2):83-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Artificial Perception of Actions.Robert Thibadeau - 1986 - Cognitive Science 10 (2):117-149.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Sociotectonics of the Noosphere.Edgar Taschdjian - 1989 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 20 (1):106-115.
    Der Ausdruck "Soziotektonik" bezeichnet das Netzwerk menschlicher Wechselwirkungen, welche durch Symbole und Signale übermittelt werden und die Koordination und Integration verschiedener Sozialsysteme ermöglichen. Jedes Sozialnetzwerk ist zeitbedingt und seine Evolution ist das Ergebnis menschlicher Entscheidungen. Die Entwicklung kann im Rückblick beschrieben werden; im Vorausblick können nur Wahrscheinlichkeitsaussagen gemacht werden. Die Teilsysteme sind nicht hierarchisch untergeordnet, sondern heterarchisch beigeordnet und unterliegen infolgedessen unvereinbaren Einflüssen. Der Grad der möglichen Harmonisierung kann mathematisch-topologisch formuliert werden.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Philosophy of Hans Reichenbach.Wesley C. Salmon - 1977 - Synthese 34 (1):5 - 88.
  • To Be and Not to Be: Dialectical Tense Logic.Graham Priest - 1982 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Unified Semantics for a Family of Modal Logics with Propositional Constants.Matteo Pascucci - 2016 - Logica Universalis 10 (1):45-66.
    This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Where Have All the Californian Tense-Logicians Gone?Woosuk Park - 2016 - Synthese 193 (11):3701-3712.
    Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.
  • On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496.
  • Tense, Propositions, and Facts.Ulrich Meyer - 2016 - Synthese 193 (11):3691-3699.
    This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Tense Logic.Ulrich Meyer - 2015 - 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.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Planning and Acting.Drew McDermott - 1978 - Cognitive Science 2 (2):71-100.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Temporal Logic for Reasoning About Processes and Plans.Drew McDermott - 1982 - Cognitive Science 6 (2):101-155.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   80 citations  
  • A Note on Future Branching Time.Glenn Kessler - 1975 - Theoria 41 (2):89-95.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Cut-Free Sequent Calculi for Some Tense Logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
  • Omnitemporal Logic and Converging Time.G. E. Hughes & M. J. Cresswell - 1975 - Theoria 41 (1):11-34.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • B(S4.3, S4) Unveiled.G. E. Hughes - 1975 - Theoria 41 (2):85-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A. N. Prior's Rediscovery of Tense Logic.Peter Øhrstrøm & Per Hasle - 1993 - Erkenntnis 39 (1):23 - 50.
  • Logic for the Decalogue.Stamatios Gerogiorgakis - 2014 - Sophia 53 (3):331-338.
    In this article, I offer two different formalizations for prescriptions which correspond to two different forms of biblical prohibitions. I discuss the known fact that the prohibitive commandments of the Decalogue according to the Septuagint and the Vulgate, Exodus 20 and Deuteronomy 5, are formulated with normative future tense indicatives. However, the Greek and Latin sources provide in Mark 10:19 variants of five biblical prohibitive commandments which are formulated with prohibitive subjunctives. I argue that there are semantic differences between normative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Note on a Six-Valued Extension of Three-Valued Logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
    ABSTRACT In this paper we introduce a set of six logical values, arising in the application of three-valued logics to time intervals, find its algebraic structure, and use it to define a six-valued logic. We then prove, by using algebraic properties of the class of De Morgan algebras, that this semantically defined logic can be axiomatized as Belnap's ?useful? four-valued logic. Other directions of research suggested by the construction of this set of six logical values are described.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Toward a Semantic Analysis of Verb Aspect and the English 'Imperfective' Progressive.David R. Dowty - 1977 - Linguistics and Philosophy 1 (1):45 - 77.
  • Hybrid Logic as Extension of Modal and Temporal Logic.Daniel Álvarez Domínguez - 2019 - Revista de Humanidades de Valparaíso 13:34-67.
    Developed by Arthur Prior, Temporal Logic allows to represent temporal information on a logical system using modal operators such as P, F, H or G, whose intuitive meaning is “it was sometime in the Past...”, “it will be sometime in the Future...”, “it Has always been in the past...” and “it will always Going to be in the future...” respectively. Valuation of formulae built from these operators are carried out on Kripke semantics, so Modal Logic and Temporal Logic are consequently (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Logic of 'Unless'.Marthe Chandler - 1982 - Philosophical Studies 41 (3):383 - 405.
  • Logic for Dialogue Games.Lauri Carlson - 1994 - Synthese 99 (3):377 - 415.
    The purpose of this paper is to work toward an explicit logic and semantics for a game theoretically inspired theory of action. The purpose of the logic is to explicate the conceptual machinery implicit in the dialogue-game model of rational discourse developed in Carlson (1983).A variety of ideas and techniques of modal and philosophical logic are used to define a model structure that generalizes the game theoretical notion of a game in extensive form (von Neumann and Morgenstern, 1944). Relative to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the Addition of Weakened L‐Reduction Axioms to the Brouwer System.Michael Byrd - 1978 - Mathematical Logic Quarterly 24 (25‐30):405-408.
  • On the Addition of WeakenedL-Reduction Axioms to the Brouwer System.Michael Byrd - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):405-408.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
  • Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
    Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  • Štyri antické argumenty o budúcich nahodnostiach (Four Ancient Arguments on Future Contingencies).Vladimir Marko - 2017 - Bratislava, Slovakia: Univerzita Komenského.
    Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument -/- The book is devoted to the ancient logical theories, reconstruction of their semantic proprieties and possibilities of their interpretation by modern logical tools. The Ancient arguments are frequently misunderstood in modern interpretations since authors usually have tendency to ignore their historical proprieties and theoretical background what usually leads to a quite inappropriate picture of the argument’s original form and mission. Author’s primary intention was to draw attention to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Looking for the Lazy Argument Candidates.Vladimir Marko - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3 & 4):363-383; 447-474.
    The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations