A cut-free sequent system for two-dimensional modal logic, and why it matters Journal Articles Refereed uri icon

Overview

Published in

  • Annals of Pure and Applied Logic

Time

Date/time value

  • 2012

Identity

Digital Object Identifier (DOI)

  • 10.1016/j.apal.2011.12.012

Additional Document Info

Parent Title

  • ANNALS OF PURE AND APPLIED LOGIC

Volume

  • 163

Issue

  • 11

Publisher

  • Elsevier BV