Tableaux for the Logic of Strategically Knowing How (Q6118724): Difference between revisions

@@ Property / OpenAlex ID @@
+W4383618596
@@ Property / OpenAlex ID: W4383618596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636030
@@ Property / cites work: Q4636030 / rank @@
+Normal rank
@@ Property / cites work @@
+CONTINGENCY AND KNOWING WHETHER
@@ Property / cites work: CONTINGENCY AND KNOWING WHETHER / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636044
@@ Property / cites work: Q4636044 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+``Knowing whether'', ``knowing that'', and the cardinality of state spaces
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Ability and knowing how in the situation calculus
@@ Property / cites work: Ability and knowing how in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based decision procedure for logic of knowing-how via simple plans
+Normal rank
@@ Property / cites work @@
+Planning-based knowing how: a unified approach
@@ Property / cites work: Planning-based knowing how: a unified approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384085
@@ Property / cites work: Q3384085 / rank @@
+Normal rank
@@ Property / cites work @@
+Together we know how to achieve: an epistemic logic of know-how
+Normal rank
@@ Property / cites work @@
+Knowing-how under uncertainty
@@ Property / cites work: Knowing-how under uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in modal logic
@@ Property / cites work: An essay in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Knowing How
@@ Property / cites work: A Logic of Knowing How / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of goal-directed knowing how
@@ Property / cites work: A logic of goal-directed knowing how / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Knowing That: A New Generation of Epistemic Logics
+Normal rank
@@ Property / cites work @@
+A logic of knowing why
@@ Property / cites work: A logic of knowing why / rank @@
+Normal rank