<html>
<head>
<title>Various Tests</title>
</head>
<body>
We have used several tests for our prover. One can find some of our examples for each of the implemented logics under the following links:
<ul>
<li> for K & KD see <a href="data/examples/kkd1.in">kkd1</a> or <a href="data/examples/kkd2.in">kkd2</a>.
<li> for Coalition Logic see <a href="data/examples/cl1.in">cl1</a> or <a href="data/examples/cl2.in">cl2</a>.
<li> for Graded Modal Logic <a href="data/examples/gr1.in">gr1</a> or <a href="data/examples/gr2.in">gr2</a>.
<li> for Probabilistic Modal Logic <a href="data/examples/pb1.in">pb1</a> or <a href="data/examples/pb2.in">pb2</a>.
<li> for Hennesy-Milner Modal Logic <a href="data/examples/hm1.in">hm1</a> or <a href="data/examples/hm2.in">hm2</a>.
<li> for Monotonic Modal Logic the examples given for K & KD can be used.
</ul>
Note that the each example links to a text file, so "Right Click" and "Save As" (or similar depending on the browser) can be used for download.
<br><br><br>
</body>
</html>