A Study of Model Determination Problems in S5 Logic

Reference:

Pauli Väisänen. A study of model determination problems in s5 logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994.

Suggested BibTeX entry:

@mastersthesis{VaisanenMsc,
    author = {V\"ais\"anen, Pauli},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {A Study of Model Determination Problems in S5 Logic},
    year = {1994},
}