Switch to: References

Add citations

You must login to add citations.
  1. Belief Changes and Cognitive Development: Doxastic Logic $${\mathsf {LCB}}$$.Marcin Łyczak - 2021 - Axiomathes 31 (2):157-171.
    We present the logic $${\mathsf {LCB}}$$ LCB which is expressed in a propositional language constantly enriched by new atomic expressions. Our formal framework is the propositional doxastic logic $${\mathsf {KD45}}$$ KD 45 with the belief operator $${\mathcal {B}}$$ B, extended by the $${\mathcal {C}}$$ C operator, to be read it changes that.... We describe the changing beliefs of an agent who uses progressively expanding language. The approach presented here allows us to weaken pragmatic objections to the so-called principle of negative (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • 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}}$ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • A Leibnizian Logic of Possible Laws.Kordula Świętorzecka & Marcin Łyczak - forthcoming - Logic and Logical Philosophy:1-22.
    The so-called Principle of Plenitude was ascribed to Leibniz by A. O. Lovejoy in The Great Chain of Being: A Study of the History of an Idea. Its temporal version states that what holds always, holds necessarily. This temporal formulation is the subject of the current paper. Lovejoy’s idea was criticised by Hintikka. The latter supported his criticisms by referring to specific Leibnizian notions of absolute and hypothetical necessities interpreted in a possible-worlds semantics. In the paper, Hintikka’s interpretative suggestions are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation