Izvorni znanstveni članak

Razredi modela vremenske logike

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

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

Datum izdavanja:

17.12.2013.

Podaci na drugim jezicima: engleski

Posjeta: 2.159 *