An Alternative Logic for Knowability (Q3094019): Difference between revisions

@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+What one may come to know
@@ Property / cites work: What one may come to know / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological reasoning and the logic of knowledge
@@ Property / cites work: Topological reasoning and the logic of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and Information: Quantifying over Epistemic Events
+Normal rank
@@ Property / cites work @@
+A logical analysis of some value concepts
@@ Property / cites work: A logical analysis of some value concepts / rank @@
+Normal rank
@@ Property / cites work @@
+μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
+Normal rank
@@ Property / cites work @@
+Using hybrid logic for coping with functions in subset spaces
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank