Labelled sequent calculi for logics of strict implication.

Eugenio Orlandelli Matteo Tesi

Published in: AiML (2022)

Keyphrases

sequent calculi
modal logic
conditional logic
cut elimination
functional dependencies
general purpose
nonmonotonic reasoning
default reasoning
wide class
decision procedures