prikaz prve stranice dokumenta Modalne logike
  Download
PDF 371.57 KB
master's thesis
Modalne logike
2022. urn:nbn:hr:166:575402
Grgat, Ante
University of Split
Faculty of Science
Department of Mathematics

Cite this document

Grgat, A. (2022). Modalne logike (Master's thesis). Split: University of Split, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat, Ante. "Modalne logike." Master's thesis, University of Split, Faculty of Science, 2022. https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat, Ante. "Modalne logike." Master's thesis, University of Split, Faculty of Science, 2022. https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat, A. (2022). 'Modalne logike', Master's thesis, University of Split, Faculty of Science, accessed 24 April 2024, https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat A. Modalne logike [Master's thesis]. Split: University of Split, Faculty of Science; 2022 [cited 2024 April 24] Available at: https://urn.nsk.hr/urn:nbn:hr:166:575402

A. Grgat, "Modalne logike", Master's thesis, University of Split, Faculty of Science, Split, 2022. Available at: https://urn.nsk.hr/urn:nbn:hr:166:575402

Please login to the repository to save this object to your list.
Metadata
TitleModalne logike
Title (english)Modal logics
AuthorAnte Grgat
MentorMilica Klaričić Bakula (mentor)
Committee memberMilica Klaričić Bakula (predsjednik povjerenstva)
Committee memberDino Peran (član povjerenstva)
Committee memberGoran Erceg (član povjerenstva)
GranterUniversity of Split
Faculty of Science
(Department of Mathematics)
Split
Defense date and country2022-09-23, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
Cilj ovog rada je uvesti čitatelja u teoriju modalnih logika. Glavni smisao je uvođenje novih unarnih operatora: nužnost i mogućnost. Također, u ovisnosti o različitim kontekstima, definirat ćemo njihovo značenje. Time dobivamo proširenje klasične logike sudova. Poseban naglasak je na takozvanoj Kripkeovoj semantici koja je jedna od najznačajnijih semantika modalnih logika. Također, razmotrit ćemo i pet različitih sistema modalnih logika te navesti neke primjere teorema. Pri samom kraju navest ćemo jedan od najvažnijih rezultata modalnih logika, a to je teorem potpunosti za svih pet sistema.
Abstract (english)
The aim of this thesis is to introduce the reader to the theory of modal logics. The main meaning is introduction of new unary operators: necessity and possibility. Also, depends of different contexts, we will define their meaning. That’s how we get an extension of propositional logic. Special emphasis is placed on the so-called Kripke’s semantics, which is one of the most significant semantics of modal logics. Also, we will consider five different systems of modal logics and state them some examples of theorems. At the very end, we will mention one of the most important of the results of modal logics, which is a completeness theorems for all five systems.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:166:575402
Study programmeTitle: Mathematics; specializations in: major in pure mathematics, major in computing, major in teaching, major in statistics and computing
Course: major in pure mathematics
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra matematike (magistar/magistra matematike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2023-02-14 12:50:04