Sequent Calculi for the Propositional Logic of HYPE.

Published in: Stud Logica (2022)

Keyphrases

propositional logic
sequent calculi
belief revision
conditional logic
first order logic
modal logic
default reasoning
possibilistic logic
lattice theory
belief change
proof procedure
cut elimination
quantified boolean formulae
logical framework
horn logic
nonmonotonic reasoning
temporal logic
machine learning