A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539): Difference between revisions

@@ Property / author @@
-Andrea Masini
@@ Property / author: Andrea Masini / rank @@
-Normal rank
@@ Property / author @@
+Andrea Masini
@@ Property / author: Andrea Masini / 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.1007/978-3-540-92687-0_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1681762168
@@ Property / OpenAlex ID: W1681762168 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural Deduction Calculus for Linear-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+Alternative semantics for temporal logics
@@ Property / cites work: Alternative semantics for temporal logics / 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 @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438104
@@ Property / cites work: Q4438104 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of PCTL*
@@ Property / cites work: An axiomatization of PCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled CTL
@@ Property / cites work: A Tableau for Bundled CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3605539