Provability Logic
Edit Page
Report
Scan day: 05 March 2014 UTC
22
Virus safety - good
Description: Wikipedia article.
Provability logic - Wikipedia, the free encyclopedia From Wikipedia, the free encyclopedia , in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich
Size: 273 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Provability logic - Wikipedia, the free encyclopedia |
| Keywords: | |
| Description: | |
| IP-address: | 91.198.174.192 |