This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:

292 found
Order:
1 — 50 / 292
  1. Future Contingents, Freedom, and Foreknowledge.Mohammed Abouzahr - 2013 - Dissertation, Wayne State University
    This essay is a contribution to the new trend and old tradition of analyzing theological fatalism in light of its relationship to logical fatalism. All results pertain to branching temporal systems that use the A-theory and assume presentism. The project focuses on two kinds of views about branching time. One position is true futurism, which designates what will occur regardless of contingency. The opposing view is open futurism, by which no possible course of events is privileged over others; that is, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  2. Future Determination of Entities in Talmudic Public Announcement Logic.M. Abraham, I. Belfer, D. M. Gabbay & U. Schild - 2013 - Journal of Applied Logic 11 (1):63-90.
  3. Contrary to Time Conditionals in Talmudic Logic.M. Abraham, D. M. Gabbay & U. Schild - 2012 - Artificial Intelligence and Law 20 (2):145-179.
    We consider conditionals of the form A ⇒ B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals.Three main aspects will be investigated: Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).Comparison with similar features in modern law.New types of temporal logics arising (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.
    Alternating-time temporal logic (ATL) is a branching time temporal logic in which statements about what coalitions of agents can achieve by strategic cooperation can be expressed. Alternating-time temporal epistemic logic (ATEL) extends ATL by adding knowledge modalities, with the usual possible worlds interpretation. This paper investigates how properties of agents’ actions can be expressed in ATL in general, and how properties of the interaction between action and knowledge can be expressed in ATEL in particular. One commonly discussed property is that (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5. Temporal Equilibrium Logic: A Survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
    This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6. Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. Three-Valued Temporal Logic Q T and Future Contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2008 - Studia Logica 88 (2):215-231.
    Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic $Q_t $ and give its axiomatization and semantics. We also argue that $Q_t $ provides a smooth solution to the problem of future contingents.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8. The Problem of Coincidence in a Theory of Temporal Multiple Recurrence.B. O. Akinkunmi - 2016 - Journal of Applied Logic 15:46-68.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Review: L. Jonathan Cohen, Tense Usage and Propositions. [REVIEW]Alice Ambrose - 1955 - Journal of Symbolic Logic 20 (3):297-298.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. Review: Arthur N. Prior, Edward C. Moore, Richard S. Robin, The Algebra of the Copula. [REVIEW]Alan Ross Anderson - 1974 - Journal of Symbolic Logic 39 (2):354-354.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Prior A. N.. Tense-Logic and the Continuity of Time. English, with Polish and Russian Summaries. Studia Logica, Vol. 13 , Pp. 133–151.Bull R. A.. An Algebraic Study of Diodorean Modal Systems. [REVIEW]Alan Ross Anderson - 1967 - Journal of Symbolic Logic 32 (2):245-246.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Review: A. N. Prior, Tense-Logic and the Continuity of Time; R. A. Bull, An Algebraic Study of Diodorean Modal Systems; A. N. Prior, Postulates for Tense-Logic. [REVIEW]Alan Ross Anderson - 1967 - Journal of Symbolic Logic 32 (2):245-246.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Review: G. W. Turner, Time and Place Logic, a Further Discussion of A. N. Prior's 'Thank Goodness That's Over' (XXV 343(3)). [REVIEW]Anthony Anderson - 1971 - Journal of Symbolic Logic 36 (3):518-518.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14. Turner G. W.. Time and Place Logic, a Further Discussion of A. N. Prior's ‘Thank Goodness That's Over’ ). Philosophy, Vol. 36 , Pp. 366–367. [REVIEW]Anthony Anderson - 1971 - Journal of Symbolic Logic 36 (3):518.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. New Perspectives on Games and Interactions.Krzysztof R. Apt & Robert van Rooij (eds.) - 2008 - Amsterdam University Press.
    This volume is a collection of papers presented at the colloquium, and it testifies to the growing importance of game theory as a tool that can capture concepts ...
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  16. Discrete Tense Logic with Beginning and Ending Time: An Infinite Hierarchy of Complete Axiomatic Systems.L. Åqvist - 1991 - Logique Et Analyse 34:359-401.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  17. Grades of Probability Modality in the Law of Evidence.Lennart Åqvist - 2010 - Studia Logica 94 (3):307-330.
    The paper presents an infinite hierarchy PR m [ m = 1, 2, . . . ] of sound and complete axiomatic systems for modal logic with graded probabilistic modalities , which are to reflect what I have elsewhere called the Bolding-Ekelöf degrees of evidential strength as applied to the establishment of matters of fact in law-courts. Our present approach is seen to differ from earlier work by the author in that it treats the logic of these graded modalities not (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  18. Old Foundations for the Logic of Agency and Action.Lennart Åqvist - 2002 - Studia Logica 72 (3):313-338.
    The paper presents an infinite hierarchy of sound and complete axiomatic systems for Two-Dimensional Modal Tense Logic with Historical Necessity, Agents and Acts. A main novelty of these logics is their capacity to represent formally (i) basic action-sentences asserting that such and such an act is performed/omitted by an agent, as well as (ii) causative action-sentences asserting that by performing/omitting a certain act, an agent causes that such and such a state-of-affairs is realized (e.g. comes about/ceases/remains/remains absent). We illustrate how (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  19. The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic.Lennart Åqvist - 1999 - 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 (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  20. Discrete Tense Logic with Infinitary Inference Rules and Systematic Frame Constants: A Hilbert-Style Axiomatization. [REVIEW]Lennart Åqvist - 1996 - 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 importantly, with (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21. A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic.Lennart Åqvist - 1979 - Journal of Philosophical Logic 8 (1):1 - 45.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. The Computational Complexity of Hybrid Temporal Logics.C. Areces, P. Blackburn & M. Marx - 2000 - Logic Journal of the IGPL 8 (5):653-679.
    In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   13 citations  
  23. Determinism, Indeterminism and the Flow of Time.Miloš Arsenijević - 2002 - Erkenntnis 56 (2):123 - 150.
    A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  24. A Correspondence Between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
  25. Dynamic Topological Logic.S. Artemov - unknown
    Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system be a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  26. Temporal and Spatial.Zdzislaw Augustynek - 1996 - Logic and Logical Philosophy 3.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  27. Realisms. Temporal and Spatial.Zdzisław Augustynek - 1995 - Logic and Logical Philosophy 3:3-22.
    Conceptual realism acknowledges the existence of abstract objects: theoretical realism acknowledges the existence of non-observable objects; whereas classical realism acknowledges the existence of observable objects. Similarly, temporal realism accepts the existence of future and past events along with present ones, and spatial realism accepts the events which occur there (else-where) as well as those that occur here. We dealt earlier with the three former kinds of realism and their opposites: nominalism, instrumentalism and (ontological) idealism [2]. This paper contains an examination (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  28. Past, Present and Future in Relativity.Zdzisław Augustynek - 1976 - Studia Logica 35 (1):45 - 53.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  29. Completeness of a First-Order Temporal Logic with Time-Gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30. Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31. Unification in Linear Temporal Logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
    We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  32. Tense and Relativity.Andrew Bacon - 2016 - Noûs 50 (4).
    Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  33. Alternative Axiomatics and Complexity of Deliberative Stit Theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
    We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  34. Prior on the Logic and the Metaphysics of Time.Roberta Ballarin - 2007 - Logique Et Analyse 199:317-334.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  35. Interval Temporal Logic: A Note. [REVIEW]Robert F. Barnes - 1981 - Journal of Philosophical Logic 10 (4):395 - 397.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36. The Imperative Future Principles of Executable Temporal Logic.Howard Barringer - 1996
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  37. Tense Logics and Natural Language.Rainer Bäuerle - 1979 - Synthese 40 (2):225 - 230.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  38. A Humean Temporal Logic.Donald L. M. Baxter - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000 (Analytic Philosophy and Logic):209-216.
    Hume argues that the idea of duration is just the idea of the manner in which several things in succession are arrayed. In other words, the idea of duration is the idea of successiveness. He concludes that all and only successions have duration. Hume also argues that there is such a thing as a steadfast object—something which co-exists with many things in succession, but which is not itself a succession. Thus, it seems that Hume has committed himself to a contradiction: (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39. Review: Arthur N. Prior, Determinables, Determinates and Determinants. [REVIEW]Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (2):147-148.
  40. Future Contradictions.Jc Beall - 2012 - Australasian Journal of Philosophy 90 (3):547-557.
    A common and much-explored thought is ?ukasiewicz's idea that the future is ?indeterminate??i.e., ?gappy? with respect to some claims?and that such indeterminacy bleeds back into the present in the form of gappy ?future contingent? claims. What is uncommon, and to my knowledge unexplored, is the dual idea of an overdeterminate future?one which is ?glutty? with respect to some claims. While the direct dual, with future gluts bleeding back into the present, is worth noting, my central aim is simply to sketch (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  41. BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  42. Review: A. N. Prior, The Logic of Negative Terms in Boethius; A. N. Prior, On Some Consequentiae in Walter Burleigh. [REVIEW]Johannes Bendiek - 1955 - Journal of Symbolic Logic 20 (1):83-83.
  43. Nominal Tense Logic.Patrick Blackburn - 1992 - Notre Dame Journal of Formal Logic 34 (1):56-83.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  44. Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. pp. 63--84.
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to make (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Concerted Instant-Interval Temporal Semantics. I. Temporal Ontologies.Alexander Bochman - 1990 - Notre Dame Journal of Formal Logic 31 (3):403-414.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46. Concerted Instant-Interval Temporal Semantics. II. Temporal Valuations and Logics of Change.Alexander Bochman - 1990 - Notre Dame Journal of Formal Logic 31 (4):580-601.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47. Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
    The theory of belief revision deals with (rational) changes in beliefs in response to new information. In the literature a distinction has been drawn between belief revision and belief update (see [6]). The former deals with situations where the objective facts describing the world do not change (so that only the beliefs of the agent change over time), while the letter allows for situations where both the facts and the doxastic state of the agent change over time. We focus on (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48. Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic.Giacomo Bonanno - 2007 - Artificial Intelligence 171 (2-3):144-160.
    Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propose two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator. The first logic is shown to provide an axiomatic characterization of the first six postulates of the AGM theory of belief revision, while the second, stronger, logic provides an axiomatic characterization of the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  49. Future Contingents, Non-Contradiction, and the Law of Excluded Middle Muddle.Craig Bourne - 2004 - Analysis 64 (2):122–128.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  50. Relational Dual Tableaux for Interval Temporal Logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
    Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between intervals and/or (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 292