Izvorni znanstveni članak

Types of Models in Temporal Logic

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

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

Datum izdavanja:

17.12.2013.

Podaci na drugim jezicima: hrvatski

Posjeta: 1.616 *