Article View: aus.computers.logic-prog
Article #92Implementations of S5
From: Gregory Toomey
Date: Sat, 12 Jan 2002 16:13
Date: Sat, 12 Jan 2002 16:13
4 lines
1142 bytes
1142 bytes
What theorem provers are currently available for Modals Logics (S5 in particular)? gtoomey
Technical Details
Message-ID:
<Hy908.70979$HW3.66993@newsfeeds.bigpond.com>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!usenet.net.nz!newsfeeds.ihug.co.nz!ihug.co.nz!news.xtra.co.nz!news1.optus.net.au!optus!intgwlon.nntp.telstra.net!newsfeeds.bigpond.com!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fd9bd,d4d5ebf11aa728a5,start X-Google-Attributes: gidfd9bd,public X-Google-ArrivalTime: 2002-01-12 22:15:50 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!usenet.net.nz!newsfeeds.ihug.co.nz!ihug.co.nz!news.xtra.co.nz!news1.optus.net.au!optus!intgwlon.nntp.telstra.net!newsfeeds.bigpond.com!not-for-mail From: "Gregory Toomey" <nobody@nowhere.com> Newsgroups: aus.computers.logic-prog Subject: Implementations of S5 Lines: 6 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2919.6700 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700 Message-ID: <Hy908.70979$HW3.66993@newsfeeds.bigpond.com> Date: Sun, 13 Jan 2002 02:13:37 +1000 NNTP-Posting-Host: 144.138.79.143 X-Trace: newsfeeds.bigpond.com 1010902311 144.138.79.143 (Sun, 13 Jan 2002 17:11:51 EST) NNTP-Posting-Date: Sun, 13 Jan 2002 17:11:51 EST Organization: Telstra BigPond Internet Services (http://www.bigpond.com)