{"identifier":"nobleid:/w1/20260521/AFB0D366","arkIdentifier":"ark:/48914/w1/20260521/AFB0D366","version":1,"workTitle":"GENTZEN-TYPE FORMULATION OF SOME MODAL LOGICS","workType":"Journal Article","authors":"Takafumi Migita, Tsutomu Hosoi","description":null,"workUrl":null,"existingDoi":"10.55937/sut/1262184335","createdAt":"2026-05-21T14:16:02.232242Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/AFB0D366.v1"}