C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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