engleski

Labeled Deduction System for Moda Logic

U radu se daje kratki pregled osnovnih pristupa izgradnji sustava prirodne dedukcije za logiku prvoga reda, te se ispituju obilježja normalnih logika koja omogućuju primjenu sustava obilježene prirodne dedukcije za takve logike. U potonjem se slijedi pristup autora Basina, Matthewsa i Vigana. Posebno se ispituju pravila za "lokalnu" i "globalnu" negaciju. Obilježeni sustav prirodne dedukcije primjenjuje se na epistemičnu logiku i potom se koristi za formalno predstavljanje Fitcheva paradoksa spoznatljivosti.

natural deduction; modal logic; Fitch's paradox

nije evidentirano