A COMPLETENESS THEOREM IN MODAL LOGIC Cover Image

TEOREM KOMPLETNOSTI U MODALNOJ LOGICI
A COMPLETENESS THEOREM IN MODAL LOGIC

Author(s): Saul A. Kripke
Contributor(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.

  • Issue Year: 2021
  • Issue No: 14
  • Page Range: 213-229
  • Page Count: 17
  • Language: Bosnian
Toggle Accessibility Mode