Original scientific paper

Razredi modela vremenske logike

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

Abstract

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.

Keywords

vrijeme; temporalna logika; modalna logika; aksiomi; semantičko stablo; dekompozicijska pravila

Hrčak ID:

113602

URI

https://hrcak.srce.hr/113602

Publication date:

17.12.2013.

Article data in other languages: english

Visits: 1.616 *