On the decidability and complexity of reasoning about only knowing (Q1978243): Difference between revisions

@@ Property / cites work @@
+Q4314597
@@ Property / cites work: Q4314597 / rank @@
+Normal rank
@@ Property / cites work @@
+Ground Nonmonotonic Modal Logics
@@ Property / cites work: Ground Nonmonotonic Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022222
@@ Property / cites work: Q4022222 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+NP trees and Carnap's modal logic
@@ Property / cites work: NP trees and Carnap's modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Levesque's axiomatization of only knowing is incomplete
+Normal rank
@@ Property / cites work @@
+Multi-agent Only Knowing
@@ Property / cites work: Multi-agent Only Knowing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703315
@@ Property / cites work: Q3703315 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3970695
@@ Property / cites work: Q3970695 / rank @@
+Normal rank
@@ Property / cites work @@
+Limited reasoning in first-order knowledge bases with full introspection
+Normal rank
@@ Property / cites work @@
+Q5203721
@@ Property / cites work: Q5203721 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of a functional approach to knowledge representation
+Normal rank
@@ Property / cites work @@
+All I know: A study in autoepistemic logic
@@ Property / cites work: All I know: A study in autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022226
@@ Property / cites work: Q4022226 / rank @@
+Normal rank
@@ Property / cites work @@
+What should a database know?
@@ Property / cites work: What should a database know? / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about minimal knowledge in nonmonotonic modal logics
+Normal rank
@@ Property / cites work @@
+Minimal knowledge problem: A new approach
@@ Property / cites work: Minimal knowledge problem: A new approach / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank