Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

A. R. Balasubramanian Timo Lang Revantha Ramanayake

Published in: LICS (2021)

Keyphrases

propositional calculus
decision procedures
description logics
computational complexity
query answering
special case
modal logic
worst case
data types
decision problems
lower complexity