A cut-free sequent system for two-dimensional modal logic, and why it matters
- 作者Greg Restall
- 卷第163卷
- 期第11期
- 文件大小248.80KB
- 发表时间2012
- DOI10.1016/j.apal.2011.12.012
同期刊推荐
Special issue: Applied soundscapesDavies, William J. · Applied Acoustics · 2013
Editorial BoardApplied Acoustics · 2013
CalendarApplied Acoustics · 2013
Editorial BoardApplied Acoustics · 2013
CalendarApplied Acoustics · 2013
Editorial BoardApplied Acoustics · 2013
CalendarApplied Acoustics · 2013
Editorial BoardApplied Acoustics · 2013