Tense systems with discrete moments of time. I (Q2555065): Difference between revisions

@@ Property / cites work @@
+Model theory for tense logics
@@ Property / cites work: Model theory for tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Tense logic for discrete future time
@@ Property / cites work: Tense logic for discrete future time / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic study of Diodorean modal systems
@@ Property / cites work: An algebraic study of Diodorean modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic study of tense logics with linear time
+Normal rank