format.html revision 74b23191c8f49798f7513f324bbdbbe32f8a1db2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>CoLoSS - Input Format</title>
</head>
<body class="secondary">
The accepted input format (as considered by the parser) is summarized by: <br>
<ul>
<li> T,F stand for True,respectively False
<li> ~ stands for negation (eg. ~φ)
<li> /\,\/,->,<-,<-> stand for conjuction,disjunction,implication,reverse implication,double implication (eg. φ/\ψ)
<li> [],<> stand for "box", respectively "diamond" modal operators (eg. [i]φ, <i>φ)
<li> the "modal index" under the "box"/"diamond" modal operator depends on the logic and is allowed to be:
<ul type="circle">
<li> Nothing (ie. blank) for K, KD and Monotonic Modal Logic
<li> Any number (≥0) for Graded Modal Logic
<li> Any positive rational number ≤1 (eg. 0.5, 1/3) for Probability Logic
<li> Any letter for Hennesy-Milner Modal Logic
</ul>
<li> variables of the type 'pN' where N is a number are also allowed
</ul>
<br><br><br>
</body>
</html>