A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.06.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2012323324
@@ Property / OpenAlex ID: W2012323324 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318257
@@ Property / Wikidata QID: Q113318257 / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Arthur Prior and hybrid logic
@@ Property / cites work: Arthur Prior and hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pure extensions, proof rules, and hybrid axiomatics
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Dynamic Epistemic Logics
@@ Property / cites work: Terminating Tableaux for Dynamic Epistemic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Public Announcement Logic with Distributed Knowledge
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
+Normal rank
@@ Property / cites work @@
+Modal Fixed-Point Logic and Changing Models
@@ Property / cites work: Modal Fixed-Point Logic and Changing Models / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank