@article{sl2010,
title = {A Completeness Proof of Kiczuk\'s Logic of Physical Change},
author = {Trypuz, Robert},
url = {http://link.springer.com/article/10.1007%2Fs11225-010-9258-2},
isbn = {0039-3215},
year = {2010},
date = {2010-01-01},
journal = {Studia Logica},
abstract = {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},
pubstate = {published},
tppubtype = {article}
}

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).