Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)

HANDLE Web Site Open Access

Bibliographic Information

Other Title
  • Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics (An interim report)

Search this article

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top