Terminating Sequent Calculi for Two Intuitionistic Modal Logics

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	1701-1712
Journal	Journal of Logic and Computation
Volume	28
Issue number	7
Publication status	Published - 2018

Cite this

@article{59ee1fa4936b419db19895a27d11045a,

title = "Terminating Sequent Calculi for Two Intuitionistic Modal Logics",

author = "R. Iemhoff",

year = "2018",

language = "English",

volume = "28",

pages = "1701--1712",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "7",

}