Semantical considerations on multiagent only knowing (Q892188): Difference between revisions

@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756788
@@ Property / cites work: Q2756788 / rank @@
+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 @@
+Q5339289
@@ Property / cites work: Q5339289 / 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 @@
+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 @@
+Q5483017
@@ Property / cites work: Q5483017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+A general approach to multi-agent minimal knowledge: With tools and samples
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of reasoning about only knowing
+Normal rank
@@ Property / cites work @@
+Only knowing with degrees of confidence
@@ Property / cites work: Only knowing with degrees of confidence / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A model-theoretic analysis of knowledge
@@ Property / cites work: A model-theoretic analysis of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for propositional nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+The Complexity of Theorem Proving in Autoepistemic Logic
+Normal rank
@@ Property / cites work @@
+Epistemic models of shallow depths and decision making in games: Horticulture
+Normal rank
@@ Property / cites work @@
+Foundations of a functional approach to knowledge representation
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic characterization of a useful fragment of the situation calculus with knowledge
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, action, and the frame problem
@@ Property / cites work: Knowledge, action, and the frame problem / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantical Account of Progression in the Presence of Defaults
+Normal rank
@@ Property / cites work @@
+How to progress a database
@@ Property / cites work: How to progress a database / rank @@
+Normal rank