Switch to: References

Citations of:

Temporal logic

New York,: Springer Verlag. Edited by Alasdair Urquhart (1971)

Add citations

You must login to add citations.
  1. Š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  
  • 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   9 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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Planning and Acting.Drew McDermott - 1978 - Cognitive Science 2 (2):71-100.
    A new theory of problem solving is presented, which embeds problem solving in the theory of action; in this theory, a problem is just a difficult action. Making this work requires a sophisticated language for‐talking about plans and their execution. This language allows a broad range of types of action, and can also be used to express rules for choosing and scheduling plans. To ensure flexibility, the problem solver consists of an interpreter driven by a theorem prover which actually manipulates (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Temporal Logic for Reasoning about Processes and Plans.Drew McDermott - 1982 - Cognitive Science 6 (2):101-155.
    Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   81 citations  
  • A note on future branching time.Glenn Kessler - 1975 - Theoria 41 (2):89-95.
    Direct download (2 more)  
     
    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.
  • B(S4.3, S4) unveiled.G. E. Hughes - 1975 - Theoria 41 (2):85-88.
    No categories
    Direct download (2 more)  
     
    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   11 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   44 citations  
  • 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