Institutional Repository

Browsing South African Computer Journal 1997(19) by Subject "Dynamic logic"

Browsing South African Computer Journal 1997(19) by Subject "Dynamic logic"

Sort by: Order: Results:

  • 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