Uniform Labelled Calculi for Conditional and Counterfactual Logics.

Marianna Girlando Sara Negri Giorgio Sbardolini

Published in: WoLLIC (2019)

Keyphrases

sequent calculi
conditional logic
modal logic
belief revision
default reasoning
expressive power
nonmonotonic reasoning
logical framework
classical logic
nonmonotonic inference
random field model
inference rules
database
fuzzy logic
logic programming
temporal logic