Tense Logic and the Theory of Linear Order

Dissertation, University of California, Los Angeles (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tense Logic and the Theory of Linear Order.Hans Kamp - 1968 - Dissertation, Ucla
The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.
Adding linear orders.Saharon Shelah & Pierre Simon - 2012 - Journal of Symbolic Logic 77 (2):717-725.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Review: R. A. Bull, An Algebraic Study of Tense Logics with Linear Time; R. A. Bull, Note on a Paper in Tense Logic. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173-173.
How to define a linear order on finite models.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1997 - Annals of Pure and Applied Logic 87 (3):241-267.
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
The undecidability of second order linear logic without exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
Adding a Cohen real adds an entangled linear order.Yoshifumi Yuasa - 1993 - Archive for Mathematical Logic 32 (4):299-304.
On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Petri nets, Horn programs, Linear Logic and vector games.Max I. Kanovich - 1995 - Annals of Pure and Applied Logic 75 (1-2):107-135.
A phase semantics for polarized linear logic and second order conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,624,302)

6 months
1 (#1,471,493)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Compositionality as an empirical problem.David Dowty - 2007 - In Chris Barker & Pauline I. Jacobson (eds.), Direct Compositionality. Oxford University Press. pp. 14--23.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.

View all 25 citations / Add more citations

References found in this work

No references found.

Add more references