A website directory and metasearch engine of Top 20 best websites
Top 20  
Online  
 
 
Add To Favorites Make this your Start Page Top 20 from A-Z
Top 20 Directory
 Listen to Music Now 
 Classical
 Country    Jazz
 Oldies    Top 40
 Easy    NPR
AccuRadio | Radio Tower
AOL |  Windows |  Launch

Top20Listen

META SEARCH:   
Google Yahoo MSN Ask Answers ixquick DMOZ
Wikipedia Encarta Hakia Cuil Clusty About      other
 ImagesGoogle Flickr AV PicSearch BlogsClusty Google
 VideoGoogle YouTube NewsGoogle Y! News Topix
 DirectoriesYahoo Google Alexa USA.gov Almanac Archive
    City Guide       State Guide Nation Guide
Weekly Diversions
Logic Puzzle
Jumping Deer
Lucky Clover
Best 1st Dance
Ma Jung
Archive

Top20Diversions
 
Top 20 Directory:
Top : Science : Math : Logic_and_Foundations : Nonstandard_Logics_and_Extensions : Modal_Logic
  		• People
  		• Provability and Interpretability Logics
  		• Temporal Logic@
    Sites:
  		• Computational Tools for Modal Logic: Resources collected by Renate Schmidt.
  		• Mally's Deontic Logic: Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
  		• Modal epistemic logic: An extensive overview of the subject.
  		• Modal Logic: A discussion of modal logic by John McCarthy.
  		• Modal Logic: Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson.
  		• Modal Logic: Online book by J. Jay Zeman.
  		• Modal Logic: Wikipedia article.
  		• Modal Logic: Open Encyclopedia article.
  		• Modal Logics: A concise introduction to modal logics by Anthony A. Aaby.
  		• Modality, Si! Modal Logic, No!: Article by J. McCarthy on the use of modality in artificial intelligence.
  		• 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.
    Listed links may put this banner on their website.

    Help build the largest human-edited directory on the web.
    Submit a Site  -  Open Directory Project  -  Become an Editor
    		Terms and Conditions
    About Us
    Privacy Policy
    A website directory and metasearch engine of Top 20 best websites, including news, sports, education, health and more.  http://www.top20online.com/ - Copyright © 1999-2007
    The data contained on this site from Wikipedia and DMOZ is not covered by the copyright of the site.
    Wikipedia data uses the GNU Free Documentation License. DMOZ data uses the Open Directory License.
    Hyperlinked remote resources are the property of their respective trademark and copyright holders.
    Processing Time: 0.02