A Logic of Change with Modalities

Kordula Swietorzecka, Johannes Czermak


In the frame of classical sentential logic we introduce an operator C to be read as it changes that ... and  as its counterpart to be understood as unchangeability. The considered notion of change is motivated by Aristotelian and Leibnizian philosophy of time and change. Typical axioms of our system are e.g. "CA implies Cnot-A", "A implies not-CA", as basic rules we have e.g. "from A derive not-CA" (theorems don't change) and a version of an !-rule connecting C with . We prove the completeness of this calculus in respect to a semantics where we introduce "stages". We compare it with some other systems of temporal logic and show certain advantages of our calculus.


  • There are currently no refbacks.