Science Central - All about Science

Saturday, 21 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Nonstandard Logics and Extensions UPDATE URL | REPORT BROKEN LINK

The Calculus of Structures - Modal Logics

 Popularity:    Hit: 214 | Visit: 1
Details
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.

Sponsored Links:


URL:
Title: DI & CoS - Modal Logic
Description:

Category:


Related sites
Non Standard Logics (Popularity: ): A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by ...
Infinitary Logic (Popularity: ): Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a ...
Logic System Interrelationships (Popularity: ): Shows how a number of representative logics fit together. The interrelationships usually given as something ...
What are Weak Arithmetics (Popularity: ): Notes defining the subject. Available in HTML and PS formats.
Computability Logic (Popularity: ): Wikipedia (free encyclopedia) article.
Computational Tools for Modal Logic (Popularity: ): Resources collected by Renate Schmidt.
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 ...
Modal Logic (Popularity: ): Online book by J. Jay Zeman.
Modality, Si! Modal Logic, No! (Popularity: ): Article by J. McCarthy on the use of modality in artificial intelligence.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact