Logic and time (Q3856738): 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 @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Preface for Studia Logica special issue (2)
@@ Property / cites work: Preface for Studia Logica special issue (2) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Tense logic
@@ Property / cites work: Tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation
+Normal rank
@@ Property / cites work @@
+Decidability results in non-classical logics
@@ Property / cites work: Decidability results in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of second‐order logic to modal logic
@@ Property / cites work: Reduction of second‐order logic to modal logic / rank @@
+Normal rank