Switch to: References

Add citations

You must login to add citations.
  1. An infinitary axiomatization of dynamic topological logic.Somayeh Chopoghloo & Morteza Moniri - 2022 - Logic Journal of the IGPL 30 (1):124-142.
    Dynamic topological logic is a multi-modal logic that was introduced for reasoning about dynamic topological systems, i.e. structures of the form $\langle{\mathfrak{X}, f}\rangle $, where $\mathfrak{X}$ is a topological space and $f$ is a continuous function on it. The problem of finding a complete and natural axiomatization for this logic in the original tri-modal language has been open for more than one decade. In this paper, we give a natural axiomatization of $\textsf{DTL}$ and prove its strong completeness with respect to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2009 - Journal of Logic, Language and Information 18 (2):291-292.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
    We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.
    Download  
     
    Export citation  
     
    Bookmark