A nonstandard approach to the logical omniscience problem (Q5917442): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional logics and logical truth
@@ Property / cites work: Intensional logics and logical truth / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+What is an inference rule?
@@ Property / cites work: What is an inference rule? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible possible worlds vindicated
@@ Property / cites work: Impossible possible worlds vindicated / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+On Some Completeness Theorems in Modal Logic
@@ Property / cites work: On Some Completeness Theorems in Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3669369
@@ Property / cites work: Q3669369 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+A general possible worlds framework for reasoning about knowledge and belief
+Normal rank