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 |
