ARQNL 2018 accompanying code for "A Simple Semi-automated Proof Assistant for First-order Modal Logics"

Software OPEN SOURCE
Libal, Tomer;
(2018)
  • Publisher: Figshare
  • Related identifiers: doi: 10.5281/zenodo.1252457
  • Subject: First-order modal logic | Space Science | Focused sequent calculus | Sociology | Plant Biology | Proof assistant | Lambda-Prolog
    • FOR: 80699 Information Systems not elsewhere classified | 69999 Biological Sciences not elsewhere classified | 39999 Chemical Sciences not elsewhere classified
    acm: Data_FILES

<p>The file contains the prototype described in the paper.</p>
Share - Bookmark