Download
PDF 264.63 KB
undergraduate thesis
25   11
Modal Logic
Irena Barišić (2017)
Josip Juraj Strossmayer University of Osijek
Department of Mathematics
Chair of Pure Mathematics
Algebra and Calculus Research Group
Cite this document...

Barišić, I. (2017). Modalna logika (Undergraduate thesis). Retrieved from https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić, Irena. "Modalna logika." Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, 2017. https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić, Irena. "Modalna logika." Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, 2017. https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić, I. (2017). 'Modalna logika', Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, accessed 20 February 2019, https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić I. Modalna logika [Undergraduate thesis]. Osijek: Josip Juraj Strossmayer University of Osijek, Department of Mathematics; 2017 [cited 2019 February 20] Available at: https://urn.nsk.hr/urn:nbn:hr:126:124254

I. Barišić, "Modalna logika", Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, Osijek, 2017. Available at: https://urn.nsk.hr/urn:nbn:hr:126:124254

Metadata
TitleModalna logika
AuthorIrena Barišić
Mentor(s)Mihaela Ribičić Penava (thesis advisor)
Abstract
U ovom završnom radu bavimo se pročavanjem modalne logike koja nastaje kao prširenje klasiče logike. Više nas ne zanima samo tvrdnja 'A je istina' nego tvrdnje poput 'A je moguće' i 'A je nužno'.Čitatelj će se upoznati sa razvojem modalne logike kroz povijest te osnovnim denicijama kao sto su K modalni sustav i Kripkeov okvir. Navest ćemo primjere, dokaze i interpretaciju nekih ekvivalentnih tvrdnji. U trećem poglavlju ćemo se upoznati sa semantikom mogućih svjetova te dokazati glavne teoreme za modalnu logiku, kao sto su teorem korektnosti i teorem potpunosti.
Keywordsmodal operators 'necessary' and 'possible' system K Kripke's frame possibleworld semantics soundness theorem completness theorem
Parallel title (English)Modal Logic
GranterJosip Juraj Strossmayer University of Osijek
Department of Mathematics
Lower level organizational unitsChair of Pure Mathematics
Algebra and Calculus Research Group
PlaceOsijek
StateCroatia
Scientific field, discipline, subdisciplineNATURAL SCIENCES
Mathematics
Mathematical Logic and Accounting
Study programme typeuniversity
Study levelundergraduate
Study programmeUniversity undergraduate study programme in mathematics
Academic title abbreviationuniv.bacc.math.
Genreundergraduate thesis
Language Croatian
Defense date2017-09-28
Parallel abstract (English)
In this nal work, we are studying the modal logic that emerges as a result of classical logic. We are not interested anymore in statement like 'A is true' but statements like 'A is possible' or 'A is necessary'. Through reading this nal work, the Reader will be introduced with the development of modal logic throughout history and with basic terms such as K modal system and Kripke's frame. We will advert examples, proofs and interpretations of some equivalent statements. In the third chapter we will get acquainted with the semantics of possible worlds and prove the main theories of modal logic, such as the soundness theorem and the completeness theorem .
Parallel keywords (Croatian)modalni operatori 'nužno' i 'moguće' K sustav Kripkeov okvir semantika mogućih svjetova teorem korektnosti teorem potpunosti
Resource typetext
Access conditionOpen access
Terms of usehttp://rightsstatements.org/vocab/InC/1.0/
URN:NBNhttps://urn.nsk.hr/urn:nbn:hr:126:124254