 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
Resources collected by Renate Schmidt.
Sponsored Links:
|
| URL: |
http://www.cs.man.ac.uk/~schmidt/tools/
|
| Title: |
AiML: Tools |
| Description: |
Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - Computational Tools for Modal Logic. Resources collected by Renate Schmidt. |
| Specialized in: |
|
|
|
|
|
Non Standard Logics (Popularity:  ): A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
Infinitary Logic (Popularity: ): Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where ...
Logic System Interrelationships (Popularity: ): Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X ...
What are Weak Arithmetics (Popularity: ): Notes defining the subject. Available in HTML and PS formats.
Computability Logic (Popularity: ): Wikipedia (free encyclopedia) article.
Modal Logic (Popularity: ): A discussion of modal logic by John McCarthy.
Modal Logic (Popularity: ): Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also ...
Modal Logic (Popularity: ): Online book by J. Jay Zeman.
The Calculus of Structures - Modal Logics (Popularity: ): Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio ...
Modality, Si! Modal Logic, No! (Popularity: ): Article by J. McCarthy on the use of modality in artificial intelligence.
|
|
Popular Sites |
|
What are Weak Arithmetics (Popularity: ): Notes defining the subject. Available in HTML and PS formats.
Logic System Interrelationships (Popularity: ): Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X ...
Chu Spaces (Popularity: ): Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
Game Semantics or Linear Logic? (Popularity: ): A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive ...
Infinitary Logic (Popularity: ): Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where ...
|
|
Related Press |
|
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America;
clients will benefit from worldwide acceptance and ability ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
