 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
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: |
http://alessio.guglielmi.name/res/cos/ML/
|
| Title: |
DI & CoS - Modal Logic |
| Description: |
Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - The Calculus of Structures - Modal Logics. Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. |
| 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.
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 is possible that', now also ...
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.
|
 |
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 |
 |
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|