Studia Logica 95 (1-2):139 - 159 (2010)

Robert Trypuz
Katolicki Uniwersytet Lubelski (KUL)
In this paper the class of minimal models C ZI 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 change: the change from one state of the process to its other state (e.g., transmitting or absorbing energy with greater or less than the usual intensity) and the perishing of the process (e.g., cessation of the energetic activity of the sun)
Keywords logic of change  completeness  modal logic  event  process
Categories (categorize this paper)
DOI 10.1007/s11225-010-9258-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,343
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Norm and Action.G. H. von Wright - 1963 - New York: Humanities.
And Next.Georg Henrik von Wright & G. H. von Wright - 1970 - Journal of Symbolic Logic 35 (3):459-460.
Tense Logic and the Logic of Change.John E. Clifford - 1966 - Logique Et Analyse 9 (34):219-230.

View all 6 references / Add more references

Citations of this work BETA

The Logic of Modal Changes LMC.Marcin Łyczak - 2020 - Journal of Applied Non-Classical Logics 30 (1):50-67.

Add more citations

Similar books and articles


Added to PP index

Total views
27 ( #402,629 of 2,445,356 )

Recent downloads (6 months)
1 ( #457,131 of 2,445,356 )

How can I increase my downloads?


My notes