hrcak mascot   Srce   HID

Izvorni znanstveni članak

Razredi modela vremenske logike

Lovre Grisogono   ORCID icon orcid.org/0000-0003-3992-4174 ; Hrvatsko logičko udruženje, Hrvatska

Puni tekst: hrvatski, pdf (510 KB) str. 567-585 preuzimanja: 545* citiraj
APA 6th Edition
Grisogono, L. (2013). Razredi modela vremenske logike. Filozofska istraživanja, 33 (3), 567-585. Preuzeto s https://hrcak.srce.hr/113602
MLA 8th Edition
Grisogono, Lovre. "Razredi modela vremenske logike." Filozofska istraživanja, vol. 33, br. 3, 2013, str. 567-585. https://hrcak.srce.hr/113602. Citirano 15.06.2021.
Chicago 17th Edition
Grisogono, Lovre. "Razredi modela vremenske logike." Filozofska istraživanja 33, br. 3 (2013): 567-585. https://hrcak.srce.hr/113602
Harvard
Grisogono, L. (2013). 'Razredi modela vremenske logike', Filozofska istraživanja, 33(3), str. 567-585. Preuzeto s: https://hrcak.srce.hr/113602 (Datum pristupa: 15.06.2021.)
Vancouver
Grisogono L. Razredi modela vremenske logike. Filozofska istraživanja [Internet]. 2013 [pristupljeno 15.06.2021.];33(3):567-585. Dostupno na: https://hrcak.srce.hr/113602
IEEE
L. Grisogono, "Razredi modela vremenske logike", Filozofska istraživanja, vol.33, br. 3, str. 567-585, 2013. [Online]. Dostupno na: https://hrcak.srce.hr/113602. [Citirano: 15.06.2021.]

Sažetak
Vrijeme je pojam koji otvara široku paletu pitanja. Vremenu se može pristupiti filozofski, logički, matematički, fizikalno i tako dalje. Ovaj rad prezentira skup novih dekompozicijskih pravila za logičku metodu semantičkog stabla. Na osnovu se različitih aksioma vremena grade modeli modalne vremenske logike s pripadajućim karakterističnim i valjanim formulama. Na kraju se rada provjerava potpunost takvog sustava.

Ključne riječi
vrijeme; temporalna logika; modalna logika; aksiomi; semantičko stablo; dekompozicijska pravila

Hrčak ID: 113602

URI
https://hrcak.srce.hr/113602

[engleski]

Posjeta: 838 *