Switch to: References

Citations of:

Tense logic and the logic of change

John E. Clifford

Logique Et Analyse 9 (34):219-230 (1966)

Add citations

You must login to add citations.

Where have all the Californian tense-logicians gone?Woosuk Park - 2016 - Synthese 193 (11):3701-3712.details Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...) Download Export citation Bookmark
Some calculus for a logic of change.Kordula Świetorzecka & Johannes Czermak - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):3-10.details To sentential language we add an operator C to be read as ‘it changes that…’ and present an axiomatic system in the frame of classical logic to catch some meaning of the term ‘change’. A typical axiom is e.g.: CA implies, a basic rule is: from A it may be inferred (theorems do not change). So this system is not regular. On the semantic level we introduce stages (of the development of some world, of some agents’ convictions or of some (...) Download Export citation Bookmark 5 citations
Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.details The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with (...) Download Export citation Bookmark
Interval semantics for tense logic: Some remarks. [REVIEW]I. L. Humberstone - 1979 - Journal of Philosophical Logic 8 (1):171 - 196.details Download Export citation Bookmark 27 citations
Antidiodorean logics and the brentano-husserl's conception of time.Vladimir L. Vasyukov - 1993 - Axiomathes 4 (3):373-388.details In some systems of Legniewskian Ontology were introduced as a toolkit for Husserl's and Meinong's theory of objects. Here such consi- deration is extended to Brentano-Husserl's theory of time. So-called antidiodo- rean logics are used as the foundations of the approach undertaken. Download Export citation Bookmark
A Completeness Proof of Kiczuk’s Logic of Physical Change.Robert Trypuz - 2010 - Studia Logica 95 (1-2):139-159.details In this paper the class of minimal models CZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there is a change in the fact that”. ZI is intended to be a logic which provides a formal account for describing two kinds of process (...) Download Export citation Bookmark 2 citations
Topological logic.Nicholas Rescher & James Garson - 1968 - Journal of Symbolic Logic 33 (4):537-548.details The purpose of this paper is to present a very versatile family of logical systems ofpositionalortopologicallogic. These systems—obtained by generalizing the existing systems of chronological logic—are to have a very general nature, capable of reflecting the characteristics of a wide range of logical systems, including not only chronological (alsotemporalortense) logic, but also what we may call locative or place logic, and even a logic of “possible worlds”. Download Export citation Bookmark 13 citations

1