Sign in
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together.
Nicola Olivetti
Nikola Panic
Gian Luca Pozzato
Published in:
AI*IA (2022)
Keyphrases
</>
conditional logic
sequent calculi
default reasoning
belief revision
nonmonotonic reasoning
modal logic
higher order logic
nonmonotonic inference
modus ponens
knowledge representation and reasoning
natural language
general purpose