Results 11 to 20 of about 765,429 (244)
Highlights in the Development of Tense-Logic [PDF]
Organon F, 2023 In 1954, on the 27th August, Arthur Norman Prior presented his ideas of tense-logic1 for the first time. He developed the field further in many publications until his death in 1969.
Peter Øhrstrøm
doaj +3 more sources
Cut-Free Gentzen Sequent Calculi for Tense Logics
Axioms, 2023 The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property.
Zhe Lin, Minghui Ma
doaj +2 more sources
Tense Logic And Tense And Aspect In English
Kansas Working Papers in Linguistics, 1979 Problems encountered in interpreting a standard tense logic with tense operators P and F as a model for natural language are discussed. A formal system is presented which eliminates some of these problems of interpretation.
Bryan, Bob
doaj +2 more sources
Aristotelian Roots of Contemporary Tense Logic [PDF]
Studia Universitatis Babeș-Bolyai. PhilosophiaTense logic is a branch of contemporary logic which includes formal devices that allow us to deal with the temporal relations between propositions. The aim of our paper is threefold: 1) to reveal how Aristotelian philosophical ideas about time, truth ...
Živilė PABIJUTAITĖ +1 more
doaj +2 more sources
Fulfilling Russell’s Wish: A.N. Prior and the Resurgence of Philosophical Theology [PDF]
Organon F, 2023 Wolterstorff (2009) provides an important explanation to the question: What caused the surprising resurgence of philosophical theology that has occurred over the last 50 years—a resurgence that rivals its zenith in the Middle Ages?
David Jakobsen
doaj +1 more source
Algebraic axiomatization of tense intuitionistic logic
Open Mathematics, 2011 Chajda Ivan
doaj +2 more sources
A syntactic and semantic study of the tense and aspect system of modern Persian [PDF]
, 1990 A survey of previous shcolarship has shown that there is no satisfactory description of the tense and aspect system of Modern Persian. This dissertation is the first attempt to study the syntax and semantics of Modem Persian verb forms in the light of ...
Khomeijani Farahani, Ali Akbar
core +5 more sources
Ockhamistic Inspiration in Modern Tense-Logic [PDF]
, 2022 The logic and philosophy of William of Ockham (ca. 1285–1347) was a very important inspiration to the founding father of modern tense-logic, A. N. Prior (1914–69).
David Jakobsen +3 more
core +1 more source
Tense Logic and Ontology of Time [PDF]
, 2021 This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time.
Styrman, Avril
core +4 more sources
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics [PDF]
Logical Methods in Computer Science, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Rajeev Gore +2 more
doaj +1 more source