Login / Signup
Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics.
Birgit Elbl
Published in:
Advances in Modal Logic (2018)
Keyphrases
</>
modal logic
sequent calculi
inference rules
decision procedures
temporal logic
nonmonotonic logics