Home
AllMusicListings
AllMusicTalk
MusicNews
Community
Blogs
AllMusicPages
AllMusicBookmarks
AllMusicFun
Music Auctions
Music Apparel
Music Store
|
Modal Logic (27) Categories:
Sites:
» Computational Tools for Modal Logic
![]() Resources collected by Renate Schmidt. http://www.cs.man.ac.uk/~schmidt/tools/ » Mally's Deontic Logic
![]() Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst. http://plato.stanford.edu/entries/mally-deontic/ » Modal Logic
![]() Open Encyclopedia article. http://open-site.org/Science/Mathematics/Logic/Modal_Logic/ » Modal epistemic logic
![]() An extensive overview of the subject. http://stinfwww.informatik.uni-leipzig.de/~duc/Thesis/node8.html » Modality, Si! Modal Logic, No!
![]() Article by J. McCarthy on the use of modality in artificial intelligence. http://www-formal.stanford.edu/jmc/modality/modality.html » The Calculus of Structures - Modal Logics
![]() Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi. http://alessio.guglielmi.name/res/cos/ML/ This category needs an editor
Last Updated: 2007-01-02 17:54:52 ![]()
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors |