Institutional Repository

Browsing South African Computer Journal 1995(13) by Subject "Dynamic logic"

Browsing South African Computer Journal 1995(13) by Subject "Dynamic logic"

Sort by: Order: Results:

  • Goldblatt, R (South African Computer Society (SAICSIT), 1995)
    These lectures provide an introduction to modal logic and its use in formalising reasoning about the behaviour of computational processes. They begin with a general introduction to the syntax, semantics, and proof-theory ...

Search UnisaIR


Browse

My Account