Institutional Repository

Browsing South African Computer Journal (SACJ) by Subject "Modal logic"

Browsing South African Computer Journal (SACJ) by Subject "Modal 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 ...
  • Verification of finite state systems with temporal logic model checking 
    Schlingloff, B (South African Computer Society (SAICSIT), 1997)
    These tutorial notes contain an introduction to the logical theory and computational aspects of computer aided verification of finite state reactive systems with linear and branching temporal logic model checking. As a ...

Search UnisaIR


Browse

My Account