Free-variable calculi for the modal logics K45 and S5 : extended to the logic of only knowing
Martin G. Skjæveland
Bok Engelsk 2006
Utgitt | Oslo : M.G.Skjæveland , 2006
|
---|---|
Omfang | vi, 113 s. : ill.
|
Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2006
|
Emner | Databehandling
Modal logikk informatikk automatisk teorembevisning fri-variabel kalkyle modal logikk |