A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from http://www-formal.stanford.edu/jmc/modality.html below:

MODALITY, SI! MODAL LOGIC, NO! ( 4-Apr-1997)

MODALITY, SI! MODAL LOGIC, NO! Abstract:
Modality is important for logical AI. An agent must reason about what it or other agents know, believe, want, intend or owe [him] a choice. Referentially opaque modalities are needed and must be formalized correctly. Modal logics are sometimes decideable---an important virtue. Unfortunately, modal logics seem too limited for many important purposes. This article contains examples of uses of modality for which modal logic seems inadequate.

I have no proof that modal logic is inadequate, so I hope modal logicians will take the examples as challenges.

There are .html, .dvi, .pdf and .ps versions.

The paper will appear in a special issue of Studia Logica devoted to the combination of logics.

Up to: McCarthy home page

I welcome comments, and you can send them by clicking on jmc@cs.stanford.edu
The number of hits on this page since 1997 March 1.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4