Importing logics (Q694499): Difference between revisions

@@ 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/s11225-012-9414-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2913840854
@@ Property / OpenAlex ID: W2913840854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941925
@@ Property / cites work: Q4941925 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs
@@ Property / cites work: Reasoning about probabilistic sequential programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851801
@@ Property / cites work: Q2851801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385438
@@ Property / cites work: Q4385438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465437
@@ Property / cites work: Q5465437 / 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 @@
+The Unrestricted Combination of Temporal Logic Systems
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Q3527403
@@ Property / cites work: Q3527403 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+A Graph-theoretic Account of Logics
@@ Property / cites work: A Graph-theoretic Account of Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal algebra
@@ Property / cites work: Temporal algebra / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:694499