Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Nonstandard_Logics_and_Extensions
:
Modal_Logic
:
The Calculus of Structures - Modal Logics
Link Details for:
The Calculus of Structures - Modal Logics
Link Title:
The Calculus of Structures - Modal Logics
Link URL:
http://alessio.guglielmi.name/res/cos/ML/
Link Details:
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
Category:
Top : Science : Math : Logic_and_Foundations : Nonstandard_Logics_and_Extensions : Modal_Logic
Link Type:
ScreenShot: