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:

316 found
Order:
1 — 50 / 316
  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  
     
    Bookmark  
  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  
     
    Bookmark   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  
     
    Bookmark   2 citations  
  5. Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van Der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.
    We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Multi-Modal CTL: Completeness, Complexity, and an Application. [REVIEW]Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Temporal Equilibrium Logic with Past Operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.
    In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9. 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  
     
    Bookmark   1 citation  
  10. 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.
    Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. 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  
     
    Bookmark   1 citation  
  12. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  13. 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  
     
    Bookmark  
  14. 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  
     
    Bookmark  
  15. 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  
     
    Bookmark  
  16. 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  
     
    Bookmark  
  17. 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  
     
    Bookmark   1 citation  
  18. 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  
     
    Bookmark  
  19. Fatalism and Future Contingents.Giacomo Andreoletti - forthcoming - Analytic Philosophy.
    In this paper I address issues related to the problem of future contingents and the metaphysical doctrine of fatalism. Two classical responses to the problem of future contingents are the third truth value view and the all-false view. According to the former, future contingents take a third truth value which goes beyond truth and falsity. According to the latter, they are all false. I here illustrate and discuss two ways to respectively argue for those two views. Both ways are similar (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  20. 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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. 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  
     
    Bookmark  
  22. 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  
     
    Bookmark  
  23. 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  
     
    Bookmark   3 citations  
  24. 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  
     
    Bookmark   3 citations  
  25. 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  
     
    Bookmark  
  26. 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  
     
    Bookmark   1 citation  
  27. 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  
     
    Bookmark   13 citations  
  28. 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  
     
    Bookmark  
  29. A Correspondence Between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
  30. 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  
     
    Bookmark  
  31. Temporal and Spatial.Zdzislaw Augustynek - 1996 - Logic and Logical Philosophy 3.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  32. 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  
     
    Bookmark  
  33. 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  
     
    Bookmark  
  34. 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  
     
    Bookmark   1 citation  
  35. 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  
     
    Bookmark  
  36. 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Tense and Relativity.Andrew Bacon - 2018 - Noûs 52 (3):667-696.
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. 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  
     
    Bookmark   12 citations  
  39. Prior on the Logic and the Metaphysics of Time.Roberta Ballarin - 2007 - Logique Et Analyse 199:317-334.
    In this paper I explore three related topics emerging from Prior's work on the logic of time. First, what is the proper province of logic, if any? Is temporal (modal) logic just logic, on a par with the paradigmatic case of first order quantication theory or even simple propositional logic? Second, what counts as an interpretation of a formal system? In particular, can formal semantics provide an interpretation? Third, what is the proper role of the meta-theory? In connection with this (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. 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  
     
    Bookmark  
  41. The Imperative Future Principles of Executable Temporal Logic.Howard Barringer - 1996
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. Tense Logics and Natural Language.Rainer Bäuerle - 1979 - Synthese 40 (2):225 - 230.
  43. 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  
     
    Bookmark  
  44. Review: Arthur N. Prior, Determinables, Determinates and Determinants. [REVIEW]Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (2):147-148.
  45. 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  
     
    Bookmark   2 citations  
  46. 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  
     
    Bookmark   5 citations  
  47. 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.
  48. 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  
     
    Bookmark   11 citations  
  49. 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  
     
    Bookmark  
  50. 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 (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 316