Modal Logic

<body> <h1>Modal Logic</h1> Electronic support for Modal Logic,by Patrick Blackburn,Maarten de Rijke,and Yde Venema<br> modal logic<br> <br> Click here to enter <a href="http://www.science.uva.nl/~mdr/Publications/mlbook/">http://www.science.uva.nl/~mdr/Publications/mlbook/</a> <hr> </body>