Nested Sequent Calculi for Conditional Logics.

Régis Alenda Nicola Olivetti Gian Luca Pozzato

Published in: JELIA (2012)

Keyphrases

conditional logic
sequent calculi
default reasoning
belief revision
nonmonotonic reasoning
modal logic
higher order logic
knowledge representation and reasoning
nonmonotonic inference
artificial intelligence
knowledge representation
higher order
desirable properties
inference rules