Switch to: References

Add citations

You must login to add citations.
  1. Branching Time Axiomatized With the Use of Change Operators.Marcin Łyczak - 2023 - Logic Journal of the IGPL 31 (5):894-906.
    We present a temporal logic of branching time with four primitive operators: |$\exists {\mathcal {C}}$| – it may change whether; |$\forall {\mathcal {C}} $| – it must change whether; |$\exists \Box $| – it may be endlessly unchangeable that; and |$\forall \Box $| – it must be endlessly unchangeable that. Semantically, operator |$\forall {\mathcal {C}}$| expresses a change in the logical value of the given formula in every state that may be an immediate successor of the one considered, while |$\exists (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • First-Order Logic of Change.Kordula Świętorzecka - forthcoming - Logic Journal of the IGPL.
    We present the first-order logic of change, which is an extension of the propositional logic of change $\textsf {LC}\Box $ developed and axiomatized by Świętorzecka and Czermak. $\textsf {LC}\Box $ has two primitive operators: ${\mathcal {C}}$ to be read it changes whether and $\Box $ for constant unchangeability. It implements the philosophically grounded idea that with the help of the primary concept of change it is possible to define the concept of time. One of the characteristic axioms for ${\mathcal {C}}$ (...)
    Download  
     
    Export citation  
     
    Bookmark