Razredi modela vremenske logike
Types of Models in Temporal Logic

Summary/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.

• Details
• Contents