Sequent Calculi for SCI.

Szymon Chlebowski

Published in: Stud Logica (2018)

Keyphrases

sequent calculi
modal logic
conditional logic
cut elimination
default reasoning
belief revision
incomplete information
temporal logic