\(\in_K\): a non-Fregean logic of explicit knowledge (Q633160): Difference between revisions

@@ Property / cites work @@
+Q3993251
@@ Property / cites work: Q3993251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4078024
@@ Property / cites work: Q4078024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4078023
@@ Property / cites work: Q4078023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract logics, logic maps, and logic homomorphisms
+Normal rank
@@ Property / cites work @@
+\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
+Normal rank
@@ Property / cites work @@
+Minimally generated abstract logics
@@ Property / cites work: Minimally generated abstract logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641129
@@ Property / cites work: Q5641129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065517
@@ Property / cites work: Q4065517 / rank @@
+Normal rank
@@ Property / cites work @@
+The Fregean axiom and Polish mathematical logic in the \(1920^s\)
+Normal rank
@@ Property / cites work @@
+A general possible worlds framework for reasoning about knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q2771733
@@ Property / cites work: Q2771733 / rank @@
+Normal rank