Bunched Hypersequent Calculi for Distributive Substructural Logics.

Agata Ciabattoni Revantha Ramanayake

Published in: LPAR (2017)

Keyphrases

propositional calculus
sequent calculi
modal logic
expressive power
inference rules
conditional logic
general theory
artificial intelligence
epistemic logic