hrcak mascot   Srce   HID

Izvorni znanstveni članak

Types of Models in Temporal Logic

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 19.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: 19.06.2021.)
Vancouver
Grisogono L. Razredi modela vremenske logike. Filozofska istraživanja [Internet]. 2013 [pristupljeno 19.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: 19.06.2021.]

Sažetak
Time is a concept that opens up a wide range of questions. Time can be analyzed philosophically, logically, mathematically, physically, and so on. This paper presents a new set of decomposition rules for semantic tableau method. On the basis of the various axioms of time, models for modal temporal logic will be built, and, characteristic and valid formulas for those models will be presented. At the end the completeness theorem for this system will be examined.

Ključne riječi
time; temporal logic; modal logic; axioms; semantic tableau; decomposition rules

Hrčak ID: 113602

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

[hrvatski]

Posjeta: 838 *