Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics.

Published in: CoRR (2023)

Keyphrases

modal logic
inference rules
expressive power
sequent calculus
conditional logic
classical logic
linear logic
valued logic
software engineering
temporal logic
nonmonotonic logics
proof theory
propositional calculus
propositional dynamic logic