Original scientific paper

Types of Models in Temporal Logic

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

Abstract

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.

Keywords

time; temporal logic; modal logic; axioms; semantic tableau; decomposition rules

Hrčak ID:

113602

URI

https://hrcak.srce.hr/113602

Publication date:

17.12.2013.

Article data in other languages: croatian

Visits: 1.643 *