prikaz prve stranice dokumenta Modalna logika
  Download
PDF 264.63 KB
undergraduate thesis
Modalna logika
Osijek: Josip Juraj Strossmayer University of Osijek, Department of Mathematics, 2017. urn:nbn:hr:126:124254
Barišić, Irena
Josip Juraj Strossmayer University of Osijek
Department of Mathematics
Chair of Pure Mathematics and Mathematics Teaching
Algebra, Analysis and Number Theory Research Group

Cite this document

Barišić, I. (2017). Modalna logika (Undergraduate thesis). Osijek: Josip Juraj Strossmayer University of Osijek, Department of Mathematics. 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 11 April 2025, 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 2025 April 11] 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

Please login to the repository to save this object to your list.
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 and Mathematics Teaching)
(Algebra, Analysis and Number Theory 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... More teoreme za modalnu logiku, kao sto su teorem korektnosti i teorem potpunosti. Less
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... More 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 . Less
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 useLicence In copyright icon
RepositoryRepository of School of Applied Mathematics and Informatics
Created on2017-11-07 07:42:52
accessibility

closeAccessibilityrefresh

If you wish to permanently save changes, click on Save, if not - your settings will be reset when you restart the browser.