activity
20202026
most citedIntroduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus

2 citations · 10 across the 16 of their papers we have counts for

collaborators
Showing 2023 · math.LOShow all

1 paper · 2 filters

math.LO2023

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

Tikhon Pshenitsyn

In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing and proved that the derivability problem for it lies between the $ω…