syntax.html revision ff8cd8ac0be8d51b4f7739678cd9845731b0b941
278N/A<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
278N/A<html xmlns="http://www.w3.org/1999/xhtml">
278N/A
278N/A<head>
278N/A<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
278N/A<title>CoLoSS - Input Format</title>
278N/A<link rel="stylesheet" href="main.css" type="text/css" />
278N/A</head>
278N/A
278N/A<body class="secondary">
278N/AThe accepted input format (as considered by the parser) is summarized by: <br>
278N/A<ul>
278N/A <li> T,F stand for True,respectively False
278N/A <li> ~ stands for negation (eg. ~&phi;)
278N/A <li> /\,\/,-&gt;,&lt;-,&lt;-&gt; stand for conjuction,disjunction,implication,reverse implication,double implication (eg. &phi;/\&psi;)
278N/A <li> [],&lt;&gt; stand for "box", respectively "diamond" modal operators (eg. [i]&phi;, &lt;i&gt;&phi;)
278N/A <li> the "modal index" under the "box"/"diamond" modal operator depends on the logic and is allowed to be:
278N/A <ul type="circle">
278N/A <li> Nothing (ie. blank) for K, KD and Monotonic Modal Logic
278N/A <li> Any set of agents/numbers (eg. {}, {1,2}, 1..7) for Coalition Logic
278N/A <li> Any number (&ge;0) for Graded Modal Logic
278N/A <li> Any positive rational number &le;1 (eg. 0.5, 1/3) for Probability Logic
278N/A <li> Any letter for Hennesy-Milner Modal Logic
278N/A </ul>
278N/A <li> variables of the type 'pN' where N is a number are also allowed
278N/A</ul>
278N/A
278N/A<br><br><br>
278N/A<a href="tool.html">Back to Tool</a>
278N/A</body>
278N/A
278N/A</html>
278N/A