Re: about the examples of modal logic



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>.

>best regards

--
---------------------------
| BBB b \ Barbara at LivingHistory stop co stop uk
| B B aa rrr b |
| BBB a a r bbb | Quidquid latine dictum sit,
| B B a a r b b | altum viditur.
| BBB aa a r bbb |
-----------------------------
.



Relevant Pages

  • 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: 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)
  • about the examples of modal logic
    ... i am learning the modal logic. ... is there some good concrete examples to illustrate the basic notions ... Prev by Date: ...
    (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)