A Formal Language for Electronic Contracts (Q5428911): 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/978-3-540-72952-5_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2109740450
@@ Property / OpenAlex ID: W2109740450 / rank @@
+Normal rank
@@ Property / cites work @@
+Action negation and alternative reductions for dynamic deontic logics
+Normal rank
@@ Property / cites work @@
+Q4329182
@@ Property / cites work: Q4329182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769718
@@ Property / cites work: Q2769718 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5296763
@@ Property / cites work: Q5296763 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677736
@@ Property / cites work: Q3677736 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+A Formal Language for Electronic Contracts
@@ Property / cites work: A Formal Language for Electronic Contracts / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5428911