Calculi for Many-Valued Logics.

Michael Kaminski Nissim Francez

Published in: Logica Universalis (2021)

Keyphrases

modal logic
sequent calculi
truth values
decision procedures
conditional logic
temporal logic
inference rules
classical logic
nonmonotonic logics
expressive power
epistemic logic
situation calculus
default logic
sequent calculus