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

@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00649989
+Normal rank
@@ Property / OpenAlex ID @@
+W1976366721
@@ Property / OpenAlex ID: W1976366721 / rank @@
+Normal rank