The Calculus of Structures - Modal Logics

alessio.guglielmi.name

Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.

Rate This Site

More in Modal Logic Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285796" title="The Calculus of Structures - Modal Logics"><img src="https://e-sygoing.link/badge.php?lid=5285796" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

The Calculus of Structures - Modal Logics

Rate This Site

Submit Your Site

Related Links