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