Filozofska istraživanja, Vol. 33 No. 3, 2013.
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
Datum izdavanja:
17.12.2013.
Posjeta: 1.694 *