Re: about the examples of modal logic



On Wed, 13 Apr 2005 14:04:26 +1200, Barb Knox <see@xxxxxxxxx> said:
> In article <7276a9bb.0504110436.5cb2596e@xxxxxxxxxxxxxxxxxx>,
> charleswang2005@xxxxxxxxx (miao) wrote:
>
>>hi, friends,
>>
>>i am learning the modal logic. but found difficult.
>>
>>is there some good concrete examples to illustrate the basic notions
>>and theories of modal logic? is there some existing good practical
>>project which using the modal logic? so i can learn from example. it
>>is easier, i think.
>
> Google "introduction to modal logic". Among other things, that turns up
> this page which you may find helpful:
> <http://cs.wwc.edu/~aabyan/Logic/Modal.html>.

There are a lot of problems with that presentation. I'd recommend
Garson's entry in the Stanford Encyclopedia of Philosophy as a better
starting point: http://plato.stanford.edu/entries/logic-modal

Chris Menzel

.



Relevant Pages

  • Re: about the examples of modal logic
    ... >hi, friends, ... >i am learning the modal logic. ... >is there some good concrete examples to illustrate the basic notions ...
    (sci.logic)
  • Re: about the examples of modal logic
    ... > charleswang2005@xxxxxxxxx (miao) wrote: ... >>hi, friends, ... >>i am learning the modal logic. ... >>is there some good concrete examples to illustrate the basic notions ...
    (sci.logic)
  • Re: Replacing Delphi developers
    ... not from sitting in lectures ... > That is a tautology, because activity takes time, but knowledge is a ... I think learning is as complex a system as the weather. ... and his friends. ...
    (comp.lang.pascal.delphi.misc)
  • Re: Letters with **three** cases?
    ... >> Nigel Greenwood wrote: ... One of my friends is clever but a poor ... speller with conventional learning, for example). ... bit like the objections to learning to read & write Chinese using the ...
    (sci.lang)
  • Re: Limosna Bar 11
    ... I tried it tonight with two people, both great musicians, friends of ... No background other than it was a piece I'm learning and there ... alternating. ...
    (rec.music.classical.guitar)