The language of social software (Q625718): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DEMO
@@ Property / describes a project that uses: DEMO / 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/s11229-010-9766-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2120316533
@@ Property / OpenAlex ID: W2120316533 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q4287487
@@ Property / cites work: Q4287487 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Social software
@@ Property / cites work: Social software / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221107
@@ Property / cites work: Q4221107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337453
@@ Property / cites work: Q3337453 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901194
@@ Property / cites work: Q2901194 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3574475
@@ Property / cites work: Q3574475 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent Belief Revision with Linked Preferences
+Normal rank
@@ Property / cites work @@
+Computational Semantics with Functional Programming
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic as a Logic of Belief Revision
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:625718