Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics.

Published in: CoRR (2024)

Keyphrases

sequent calculi
conditional logic
modal logic
supervised learning
cut elimination
training data
training set
belief revision
default reasoning
machine learning
general purpose
temporal logic
decision procedures