Past, present and future
This title surveys and extends work that was done in the sixties on 'tense logic' and is a sequel to the author's book, 'Time and Modality'.
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Language Notes: | English. |
| Published: |
Oxford,
Clarendon P.,
1967.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)
by: Kracht, Marcus
Published: (1999)
Past, present and future /
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1967)
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1967)
Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)
by: Gallin, Daniel
Published: (1975)
Many-dimensional modal logics : theory and applications /
Published: (2003)
Published: (2003)
Modal logic : an introduction to its syntax and semantics /
by: Cocchiarella, Nino B.
Published: (2008)
by: Cocchiarella, Nino B.
Published: (2008)
Temporal logic /
by: Rescher, Nicholas
Published: (1971)
by: Rescher, Nicholas
Published: (1971)
Modality and tense : philosophical papers /
by: Fine, Kit
Published: (2005)
by: Fine, Kit
Published: (2005)
La logique moderne.
by: Chauvineau, Jean
Published: (1957)
by: Chauvineau, Jean
Published: (1957)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
Handbook of modal logic /
Published: (2007)
Published: (2007)
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)
Published: (1982)
An introduction to symbolic logic.
by: Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Published: (1953)
by: Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Published: (1953)
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)
Published: (1986)
A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
Handbook of mathematical logic /
Published: (1977)
Published: (1977)
Proceedings.
Published: (1975)
Published: (1975)
Logical frameworks for truth and abstraction : an axiomatic study /
by: Cantini, Andrea
Published: (1996)
by: Cantini, Andrea
Published: (1996)
Mathematical logic in the 20th century /
Published: (2003)
Published: (2003)
Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert, 1926-2011
Published: (1974)
by: Rogers, Robert, 1926-2011
Published: (1974)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)
by: Englebretsen, George
Published: (1996)
Mathematical interpretation of formal systems
Published: (1955)
Published: (1955)
Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1956)
by: Tarski, Alfred, 1901-1983
Published: (1956)
A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)
by: Enderton, Herbert B.
Published: (2001)
The norm of truth : an introduction to the philosophy of logic /
by: Engel, Pascal, 1954-
Published: (1991)
by: Engel, Pascal, 1954-
Published: (1991)
Logic and knowledge : essays, 1901-1950 /
by: Russell, Bertrand, 1872-1970
Published: (1956)
by: Russell, Bertrand, 1872-1970
Published: (1956)
An essay in modal logic /
Published: (1951)
Published: (1951)
Modality : Metaphysics, Logic, And Epistemology.
by: Hale, Bob
Published: (2010)
by: Hale, Bob
Published: (2010)
Intensionality : lecture notes in logic 22 /
Published: (2005)
Published: (2005)
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)
Published: (1989)
Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)
by: Shapiro, Stewart, 1951-
Published: (1991)
Non-standard logics for automated reasoning /
Published: (1988)
Published: (1988)
Admissibility of logical inference rules /
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)
Constructive order types
by: Crossley, John N.
Published: (1969)
by: Crossley, John N.
Published: (1969)
Matrix logic /
by: Stern, August, 1945-
Published: (1988)
by: Stern, August, 1945-
Published: (1988)
Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)
Published: (1971)