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:

334 found
Order:
1 — 50 / 334
  1. added 2020-05-26
    A Formal Framework for Future Contingents.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):79-136.
    In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a specific component termed (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  2. added 2020-05-26
    The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):53-77.
    I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires the (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  3. added 2020-05-25
    Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time.Andrzej Indrzejczak - 2019 - Review of Symbolic Logic 12 (4):806-822.
    This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames including Kt4.3 and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2020-05-16
    An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - forthcoming - Studia Logica:1-28.
    Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2020-05-15
    Proof Vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.
    Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2020-05-11
    The Formalities of Temporaryism Without Presentness.Fabrice Correia & Sven Rosenkranz - 2020 - Notre Dame Journal of Formal Logic 61 (2):181-202.
    Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism. Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations are full-blown logics, each logic comprising an (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2020-04-05
    Filosofia del Futuro.Samuele Iaquinto & Giuliano Torrengo - 2018 - Milano: Raffaello Cortina.
    Scopo del volume è offrire un’introduzione accessibile e rigorosa ai più recenti sviluppi di una fondamentale branca della filosofia del tempo: la filosofia del futuro. Vengono presentate e discusse alcune delle domande chiave del dibattito contemporaneo, ad esempio: il futuro è già scritto o esistono molti cammini alternativi che il tempo è in grado di imboccare? "Esistere" significa semplicemente essere presenti o ci sono veri e propri oggetti futuri? Siamo davvero liberi di scegliere quali azioni compiere e di modificare il (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2020-04-05
    Introduzione alle Logiche Modali.Marcello Frixione, Samuele Iaquinto & Massimiliano Vignolo - 2016 - Roma-Bari: Laterza.
    La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2020-03-24
    A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. added 2020-03-24
    From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. added 2020-03-22
    On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that its (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. added 2020-03-10
    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, (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2020-03-10
    Some Problems with the Russellian Open Future.Jacek Wawer - 2018 - Acta Analytica 33 (4):413-425.
    In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2020-03-10
    Presentism: Foreigner-Friendly or Xenophobic?Bryan Frances - 2016 - Australasian Journal of Philosophy 94 (3):479-488.
    I argue that, for all we know, there are perfectly ordinary actual entities that are temporal in the usual sense and yet never present, past, or future. This epistemic fact requires us to modify the theses of presentism and eternalism. More importantly, it generates three new and quite serious objections to presentism, which I formulate and partially evaluate in this paper.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  15. added 2020-02-07
    The Invisible Thin Red Line.Giuliano Torrengo & Samuele Iaquinto - forthcoming - Pacific Philosophical Quarterly.
    The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. added 2020-01-19
    Towards a Formal Symbolic Occurrence Logic.Farshad Badie - 2018 - In Hans Götzsche (ed.), The Meaning of Language. Newcastle-under-Lyme, UK: Cambridge Scholars.
    In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations between symbolic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. added 2019-10-27
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. added 2019-10-11
    Karma Theory, Determinism, Fatalism and Freedom of Will.Ricardo Sousa Silvestre - 2017 - Logica Universalis 11 (1):35-60.
    The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. added 2019-09-14
    Notions of Instrumentality in Agency Logic.Kees van Berkel & Matteo Pascucci - 2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.
    We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. added 2019-08-02
    The Rhyme That Remains: Populist Poetics.Virgil W. Brower - 2012 - Everyday Genius 6 (21):61-81.
  21. added 2019-07-04
    Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
    In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2019-06-06
    Investigations on Fragments of First Order Branching Temporal Logic.Franco Montagna, G. Michele Pinna & B. P. Tiezzi - 2002 - Mathematical Logic Quarterly 48 (1):51-62.
    We investigate axiomatizability of various fragments of first order computational tree logic showing that the fragments with the modal operator F are non axiomatizable. These results shows that the only axiomatizable fragment is the one with the modal operator next only.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2019-06-06
    Sequential Calculus for a First Order Infinitary Temporal Logic.Hiroya Kawai - 1987 - Mathematical Logic Quarterly 33 (5):423-432.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24. added 2019-06-06
    Tense Logic. [REVIEW]F. K. C. - 1977 - Review of Metaphysics 31 (2):327-329.
    Despite its brevity, McArthur’s monograph offers a helpful introduction to tense logic to readers who have already been introduced to the syntactical and semantical metatheory of classical logic. Familiarity with substitutional quantification, free-logic, and modal logic will help readers appreciate techniques used and the directions in which topics are developed.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2019-06-06
    Prior Arthur N.. Changes in Events and Changes in Things. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 1–14. Prior Arthur N.. On Spurious Egocentricity. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 15–25. , Pp. 326–335.)Prior Arthur N.. The Formalities of Omniscience. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 26–44. , Pp. 114–129.)Prior Arthur N.. Contemplation and Action. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 45–50.Prior Arthur N.. The Consequences of Actions. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 51–58. Prior Arthur N.. Limited Indeterminism. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 59–65. , Pp. 55–61.)Prior Arthur N.. Identifiable Individuals. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 19. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (3):515-518.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2019-06-06
    A. N. Prior. Time After Time. Mind, N.S. Vol. 67 , Pp. 244–246. [REVIEW]S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):342-343.
  27. added 2019-06-06
    II.—Time, Truth and Inference.D. F. Pears - 1950 - Proceedings of the Aristotelian Society 51 (1):1-24.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. added 2019-06-05
    Reflections on Temporal and Modal Logic.Richard L. Epstein - 2014 - Logic and Logical Philosophy 24 (1):111-139.
    The most popular method of incorporating time into a formal logic is based on the work of Arthur Prior. It treats tenses as operators on sentences. In this essay I show a serious problem with that approach, a confusion of scheme versus proposition, which makes any system built in that way incoherent. I will compare how other formal logics deal with the scheme versus proposition distinction and find that only for formal modal logics does the same problem arise. I then (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. added 2019-06-05
    Temporal Logic. Nicholas Rescher, Alasdair Urquhart.John Richards & John H. Pfitsch - 1975 - Philosophy of Science 42 (1):100-103.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2019-05-31
    A. N. Prior. The Autonomy of Ethics. The Australasian Journal of Philosophy, Vol. 38 No. 3 , Pp. 199–206. - J. M. Shorter. Professor Prior on the Autonomy of Ethics. The Australasian Journal of Philosophy, Vol. 39 No. 3 , Pp. 286–287. [REVIEW]B. J. Diggs - 1972 - Journal of Symbolic Logic 37 (2):421-422.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2019-05-21
    Temporal Logics and Their Applications, Edited by Antony Galton, Academic Press, London, San Diego, Etc., 1987, Xii + 244 Pp.—Therein: - Antony Galton. Temporal Logic and Computer Science: An Overview. Pp. 1– 52. - Howard Barringer. The Use of Temporal Logic in the Compositional Specification of Concurrent Systems. Pp. 53– 90. - Roger Hale. Temporal Logic Programming. Pp. 91– 119. - Fariba Sadri. Three Recent Approaches to Temporal Reasoning. Pp. 121– 168. - Antony Galton. The Logic of Occurrence. Pp. 169– 196. - Dov Gabbay. Modal and Temporal Logic Programming. Pp. 197– 237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2019-05-15
    Peter Øhrstrøm and Per Hasle. A. N. Prior's Rediscovery of Tense Logic. Erkenntnis, Vol. 39 , Pp. 23–50.Nino Cocchiarella - 1995 - Journal of Symbolic Logic 60 (1):347-348.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2019-03-07
    The Logic of Where and While in the 13th and 14th Centuries.Sara Uckelman - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 535-550.
    Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions considered by a number of 13th- and 14th-century authors are temporal and local propositions, which combine atomic propositions with `while' and `where'. Despite modern interest in the historical roots of temporal and tense logic, medieval analyses of `while' propositions are rarely discussed in modern literature, and analyses of `where' propositions are almost completely overlooked. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. added 2019-03-07
    Non‐Equivalent Formulae in One Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Mathematical Logic Quarterly 27 (7):111-112.
    Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. added 2019-01-16
    First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.
    The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L_t are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L_t-validity w.r.t. transition structures. As a consequence, for a certain fragment of L_t, validity (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. added 2019-01-16
    Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37. added 2018-12-31
    Between Ockhamism and the Thin Red Line.Alex Peter Malpass - 2016 - Diametros 48:55-70.
    In this paper we will put forward a novel semantics for future contingents. The idea behind the semantics is to be a compromise position between the ‘Ockhamist’ semantics, first put forward by Prior [1966], Thomason [1970] etc., and a version of the Thin Red Line semantics recently proposed by Malpass and Wawer [2012]. The new position is able to represent alternative possibilities in two different ways, as actual or counterfactual, which corresponds to a similar distinction in two-dimensional semantics between the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2018-10-14
    Fatalism and Future Contingents.Giacomo Andreoletti - 2019 - Analytic Philosophy 60 (3):1-14.
    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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2018-10-02
    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  
  40. added 2018-10-01
    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  
  41. added 2018-10-01
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  42. added 2018-10-01
    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  
  43. added 2018-09-06
    Temporal Reasoning with Aspectual Adverbs.Hans Smessaert & Alice G. B. Ter Meulen - 2004 - Linguistics and Philosophy 27 (2):209-261.
    Validity of dynamic temporal reasoning is semantically characterized for English and Dutch aspectual adverbs in Discourse Representation Theory. This dynamic perspective determines how the content needs to be revised and what information is preserved across updates, when the order of premises is considered relevant. Resetting contextual parameters relies on modelling the basic aspectual polarity transitions and temporal reasoning extensionally. For intensional aspectual adverbials the speaker’s attitudes regarding past alternatives to and possible continuations of the current state come into play. Additional (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. added 2018-08-17
    Diamonds Are Forever.Cian Dorr & Jeremy Goodman - forthcoming - Noûs.
    We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  45. added 2018-06-13
    The Speaker's Point of View.Paul Needham - 1976 - Synthese 32 (3-4):309 - 327.
    The various conclusions reached in this paper can be drawn together and briefly summarised in the following thesis: It is necessary to use variables ranging over times explicitly in the object language in the logical analysis of temporal reference in English. A discussion of Arthur Prior ideas, which are in direct opposition to those encompassed here, focuses on the principle that the point of view of the speaker dominates all subordinate clauses, which I maintain and Prior rejects. This leads me (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. added 2018-05-22
    Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. added 2018-04-21
    From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. added 2018-04-21
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49. added 2018-04-21
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  50. added 2018-04-20
    Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 334