与 «TENSE LOGIC»相关的英语书籍
在以下的参考文献中发现
tense logic的用法。与
tense logic相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Handbook of Philosophical
Logic
The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters.
Dov M. Gabbay, Franz Guenthner, 2002
2
Handbook of Modal
Logic
Journal of Symbolic Logic, 37:716–720, Semantic analysis of tense logic. Journal
of Symbolic Logic, 37:150–158, 1972. An incompleteness theorem in modal logic
. Theoria, 40:30–34, 1974. Reduction of tense logic to modal logic I. Journal of ...
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
3
Hybrid
Logic and its Proof-Theory
The history of hybrid logic goes back to Arthur Prior's hybrid tense logic, which is
a hybridized version of ordinary tense logic. Arthur Prior (1914–1969) is usually
considered the founding father of modern temporal logic, his main contribution ...
4
Logic, Language, and Meaning: Intensional
logic and logical ...
2.4 Propositional Tense Logic 2.4.1 Syntax and Semantics Technically speaking,
tense logic is very closely related to modal logic. ln tense logic contexts become
momeats in time, with earlier than as their accessibility relation. (This is the ...
5
The Continuum Companion to Philosophical
Logic
Is tense logic an adequate representation of the English verbal tenses? And if
that is so, is tense logic also adequate vis-a-vis all the other temporal features of
English? The answer to the first question in fact depends on what one
understands ...
Leon Horsten, Richard Pettigrew, 2011
6
Facing the Future : Agents and Choices in Our Indeterminist ...
On the other hand, the technical devices and conceptual ideas of modal logic
due especially to Kripke are essential to both plain or linear tense logic, and to
the historical modalities of branching time. 8A.2 Prior's linear tense semantics
Just as ...
Nuel Belnap Professor of Philosophy, Michael Perloff Professor of Philosophy, Ming Xu Visiting Assistant Instructor in the Department of Philosophy all at University of Pittsburgh, 2001
7
Temporal
Logic: From Ancient Ideas to Artificial Intelligence
In the discussion of problems like 'the sea-fight tomorrow' we need more than
modal logics and tense-logical systems like Kt and K. We also need metric tense
logic, in which numerical durations are taken into consideration. In metric tense ...
Peter Øhrstrøm, Per F. V. Hasle, 1995
8
Conceptual Structures: Knowledge Representations as ...
In this paper it is argued that the founder of modern tense logic, A.N. Prior was
very much inspired by the logic and philosophy of C.S. Peirce. It is also
demonstrated how the most important tense logical systems of Prior, Kt, K0 and
KS can be ...
Peter W. Eklund, Gerard Ellis, Graham Mann, 1996
9
The Oxford Handbook of Philosophy of Time
The model theory for quantified tense logic is more complicated than for
propositional tense logic, but an axiomatic system can be obtained in a fairly
straightforward fashion. We start out with our system of untensed quantificational
logic that ...
10
Formal Semantics and Pragmatics for Natural Languages
TIME SCHEMES, TENSE LOGIC AND THE ANALYSIS OF ENGLISH TENSES
Only recently have linguists and philosophers of language begun to apply other
logical systems than ordinary predicate logic in the area of formal semantics for ...
Franz Guenthner, Siegfried J. Schmidt, 1979
