Download
PDF 264.63 KB
undergraduate thesis
81   25
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 21 November 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 November 21] 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
Title (english)Modal Logic
AuthorIrena Barišić
MentorMihaela Ribičić Penava (mentor)
GranterJosip Juraj Strossmayer University of Osijek
Department of Mathematics
(Chair of Pure Mathematics)
(Algebra and Calculus Research Group)
Osijek
Defense date and country2017-09-28, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Mathematical Logic and Accounting
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.
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 .
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:126:124254
Study programmeTitle: University undergraduate study programme in mathematics
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of usehttp://rightsstatements.org/vocab/InC/1.0/
Created on2017-11-07 07:42:52