Completeness and Complexity of Multi-modal CTL (Q4982125): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.02.040
@@ Property / DOI: 10.1016/j.entcs.2009.02.040 / rank @@
-Normal rank
@@ Property / author @@
-Thomas Ågotnes
@@ Property / author: Thomas Ågotnes / rank @@
-Normal rank
@@ Property / author @@
+Thomas Ågotnes
@@ Property / author: Thomas Ågotnes / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.02.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2106363087
@@ Property / OpenAlex ID: W2106363087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Q4218020
@@ Property / cites work: Q4218020 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Combining temporal logic systems
@@ Property / cites work: Combining temporal logic systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Unrestricted Combination of Temporal Logic Systems
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and transfer results in modal logic -- a survey
+Normal rank
@@ Property / cites work @@
+Q4215611
@@ Property / cites work: Q4215611 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.02.040
@@ Property / DOI: 10.1016/J.ENTCS.2009.02.040 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4982125