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: How to deal with stress?
    ... Frankly you are imputing too much of your own feelings on Julie this time. ... She has Angela's mind on learning even if what she is learning isn't quite ... As for the dance, I see that it is good for her in so many ways. ... is making lots of new friends. ...
    (alt.support.diabetes)
  • 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)