Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Dynamic logic"

Browsing College of Science, Engineering and Technology by Subject "Dynamic logic"

Sort by: Order: Results:

  • Modal logics for programs 
    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 ...
  • Reasoning about changing information 
    Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
    The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the ...

Search UnisaIR


Browse

My Account