TEOREM KOMPLETNOSTI U MODALNOJ LOGICI
A COMPLETENESS THEOREM IN MODAL LOGIC
Author(s): Saul A. KripkeContributor(s): Nijaz Ibrulj (Translator)
Subject(s): Philosophy, Logic
Published by: Filozofski fakultet u Sarajevu - Znanstveno-istraživački inkubator
Keywords: Saul A. Kripke; translation; modal logic; completness theorem;
Summary/Abstract: Ovaj rad nastoji da navede i dokaže teorem kompletnosti za sistem S5 od [1], dopunjen kvantifikatorima prvog reda i znakom jednakosti.
Journal: Sophos- časopis mladih istraživača
- Issue Year: 2021
- Issue No: 14
- Page Range: 213-229
- Page Count: 17
- Language: Bosnian