Bulletin of the Section of Logic, Tome 51 (2022) no. 2

Geodesic

Parcourir par

Volume 51 (2022) no. 2

Sommaire

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Braüner, Torben

p. 143-162

Proof Compression and NP Versus PSPACE II: Addendum

Gordeev, Lew ; Haeusler, Edward Hermann

p. 197-205

A Variant of Material Connexive Logic

Belikov, Alexander ; Zaitsev, Dmitry

p. 227-242