ARQNL 2018 accompanying code for "A Simple Semi-automated Proof Assistant for First-order Modal Logics"
- Publisher: Figshare
- 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
<p>The file contains the prototype described in the paper.</p>
- Metrics No metrics available