Switch to: References

Add citations

You must login to add citations.
  1. Infinitary Action Logic with Multiplexing.Stepan L. Kuznetsov & Stanislav O. Speranski - 2023 - Studia Logica 111 (2):251-280.
    Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...)
    Download  
     
    Export citation  
     
    Bookmark