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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The logic of modal changes LMC.Marcin Łyczak - 2020 - Journal of Applied Non-Classical Logics 30 (1):50-67.
    The logic of change formulated by K. Świętorzecka, has its motivation coming from the Aristotelian theory of substantial change which is undrstood as a transformation consisting in the disappearing and becoming of individual substances. The transition: becoming/disapearing (and conversely) is expressed in by the primitive operator C, to be read: it changes that …, and it is mapped by the progressively expanding language. We are interested in attributive changes of individual substances. We consider a formalism with two non-normal and not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations